Skip to content

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.

License

Notifications You must be signed in to change notification settings

vanvugt/dash-to-dock

Repository files navigation

A Ubuntu 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://github.com/micheleg/dash-to-dock/tree/ubuntu-dock/.

This dock is a fork of the original Dash to Dock (master Branch) extension for GNOME. The original extension was very powerful, but we wanted a simpler, more integrated experience for general Ubuntu users. You can install the original extension for more (but not officially supported) features.

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 -b ubuntu-dock https://[email protected]/micheleg/dash-to-dock.git --single-branch

or download the 'ubuntu-dock' 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. Of course, Ubuntu 17.10 and up have the extension pre-installed.

A note on Settings

You may notice that this release is very similar to the original Dash to Dock but with less features, no settings panel, and different defaults. This is on purpose, because we wanted to bring a simpler dock experience into GNOME Shell for Ubuntu users, and we didn't want to expose all of the settings that the original Dash to Dock had.

Some settings will be available through an add-on to the Settings program for Ubuntu, but not all. For those who do want all the available options, the original Dash to Dock extension is fully compatible with this dock. Simply install it from GNOME Extensions like normal.

Bug Reporting

Bugs should be reported to the Github bug tracker for the original Dash to Dock extension at https://github.com/micheleg/dash-to-dock/issues.

License

Ubuntu 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. This extension is based on the original Dash to Dock.

Donations

You can donate to the original Dash to Dock extension at:

Flattr this PayPal — The safer, easier way to pay online.

You can donate to Ubuntu at:

Ubuntu Donations / Contribute

About

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.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • JavaScript 97.7%
  • CSS 1.4%
  • Makefile 0.9%