Skip to content

Instantly share code, notes, and snippets.

@ball6847

ball6847/install-workspaces-to-dock_fix_18.04.sh

Created May 19, 2018 08:46
Show Gist options
  • Save ball6847/8750d8cb13312893146771436432f3b5 to your computer and use it in GitHub Desktop.
Save ball6847/8750d8cb13312893146771436432f3b5 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
install-workspaces-to-dock_fix_18.04.sh
mkdir ~/extensions
git clone -b ubuntu-18.04 --single-branch https://github.com/passingthru67/workspaces-to-dock.git --depth 1 ~/extensions/workspaces-to-dock
ln -sf ~/extensions/workspaces-to-dock/workspaces-to-dock/[email protected] $HOME/.local/share/gnome-shell/extensions/
killall -3 gnome-shell
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment