Skip to content

pop-os/cosmic-dock

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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 additional 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 -b ubuntu-dock

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

make

Build Dependencies

To compile the stylesheet you'll need an implementation of SASS. Dash to Dock supports dart-sass (sass), sassc, and ruby-sass. Every distro should have at least one of these implementations, we recommend using dart-sass (sass) or sassc over ruby-sass as ruby-sass is deprecated.

By default, Dash to Dock will attempt to build with sassc. To change this behavior set the SASS environment variable to either dart or ruby.

export SASS=dart
# or...
export SASS=ruby

Building

Clone the repository or download the branch from github. A simple Makefile is included.

Next use make to install the extension into your home directory. A Shell reload is required Alt+F2 r Enter under Xorg or under Wayland you may have to logout and login. The extension has to be enabled with gnome-extensions-app (GNOME Extensions) or with dconf.

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

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.