A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
Switch branches/tags
ubuntu-dock-63ubuntu1 ubuntu-dock-0.9.1ubuntu18.04.1 rm gnome-shell-3.2-v13 gnome-shell-3.2-v11 gnome-shell-3.2-v10 extensions.gnome.org-v64 extensions.gnome.org-v63 extensions.gnome.org-v62 extensions.gnome.org-v61 extensions.gnome.org-v60 extensions.gnome.org-v59 extensions.gnome.org-v58 extensions.gnome.org-v57 extensions.gnome.org-v56 extensions.gnome.org-v55 extensions.gnome.org-v54 extensions.gnome.org-v53 extensions.gnome.org-v52 extensions.gnome.org-v51 extensions.gnome.org-v50 extensions.gnome.org-v49 extensions.gnome.org-v48 extensions.gnome.org-v47 extensions.gnome.org-v46 extensions.gnome.org-v45 extensions.gnome.org-v44 extensions.gnome.org-v43 extensions.gnome.org-v42 extensions.gnome.org-v41 extensions.gnome.org-v40 extensions.gnome.org-v39 extensions.gnome.org-v38 extensions.gnome.org-v37 extensions.gnome.org-v36 extensions.gnome.org-v35 extensions.gnome.org-v34 extensions.gnome.org-v33 extensions.gnome.org-v32 extensions.gnome.org-v31 extensions.gnome.org-v30 extensions.gnome.org-v29 extensions.gnome.org-v28 extensions.gnome.org-v27 extensions.gnome.org-v26 extensions.gnome.org-v25 extensions.gnome.org-v24 extensions.gnome.org-v23 extensions.gnome.org-v22 extensions.gnome.org-v21 extensions.gnome.org-v20 extensions.gnome.org-v19 extensions.gnome.org-v18 extensions.gnome.org-v17 extensions.gnome.org-v16 extensions.gnome.org-v15 extensions.gnome.org-v14 extensions.gnome.org-v13 extensions.gnome.org-v12 extensions.gnome.org-v11 extensions.gnome.org-v10 extensions.gnome.org-v9 extensions.gnome.org-v8 extensions.gnome.org-v7_3.2 extensions.gnome.org-v6 extensions.gnome.org-v5 extensions.gnome.org-v4 extensions.gnome.org-v3 extensions.gnome.org-v2 extensions.gnome.org-v1 extensions.gnome-org-v46 extensions.gnome-org-v45 extensions.gnome-org-v26 extension.js-v17 0.7 0.6 0.5 0.4 0.3 0.2 0.1
Nothing to show
Clone or download
Latest commit e6b7374 Aug 26, 2018
Permalink
Failed to load latest commit information.
media AppIconIndicators: implememnt metro style. Dec 28, 2017
po Update Spanish translation. Aug 4, 2018
schemas Fix shit typo (#723). Apr 29, 2018
.gitignore add pot file to gitignore Oct 7, 2014
COPYING Add GPL v2 License. Dec 4, 2012
Makefile Fix Makefile. Jan 5, 2018
README.md README.md: remove donations section. Apr 29, 2018
Settings.ui Settings.ui: Fix GtkEntry property to make the shortcut editable. Aug 4, 2018
appIconIndicators.js Update some urls in the code. Mar 18, 2018
appIcons.js Use a wrapper to access to Screen, Workspacess and Monitor Aug 1, 2018
convenience.js Update some urls in the code. Mar 18, 2018
dash.js AppIconIndicators: move indicators to dedicated classes. Dec 28, 2017
docking.js Use a wrapper to access to Screen, Workspacess and Monitor Aug 1, 2018
extension.js Update dockManager variable declaration for Gnome 3.26 GJS (mozjs52). Oct 4, 2017
intellihide.js Use a wrapper to access to Screen, Workspacess and Monitor Aug 1, 2018
launcherAPI.js LauncherAPI: add support for progress bar. Sep 25, 2017
metadata.json Bump version (v64). Aug 26, 2018
prefs.js Add scrollbars to settings windows. Apr 2, 2018
stylesheet.css Add real css classes for dynamic transparency. Jun 23, 2018
theming.js Use a wrapper to access to Screen, Workspacess and Monitor Aug 1, 2018
utils.js Use a wrapper to access to Screen, Workspacess and Monitor Aug 1, 2018
windowPreview.js Use a wrapper to access to Screen, Workspacess and Monitor Aug 1, 2018

README.md

Dash to Dock

screenshot

A dock for the GNOME Shell

This extension enhances the dash moving it out of the overview and transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops without having to leave the desktop view.

For installation instructions and more information visit https://micheleg.github.io/dash-to-dock/.

Installation from source

The extension can be installed directly from source, either for the convenience of using git or to test the latest development version. Clone the desired branch with git

git clone https://github.com/micheleg/dash-to-dock.git

or download the branch from github. A simple Makefile is included. Then run

make
make install

to install the extension in your home directory. A Shell reload is required Alt+F2 r Enter and the extension has to be enabled with gnome-tweak-tool or with dconf.

Bug Reporting

Bugs should be reported to the Github bug tracker https://github.com/micheleg/dash-to-dock/issues.

License

Dash to Dock Gnome Shell extension is distributed under the terms of the GNU General Public License, version 2 or later. See the COPYING file for details.