-
Notifications
You must be signed in to change notification settings - Fork 281
Installation
The easiest way to install the latest official version of Dash-to-Panel is from GNOME Extensions.
After installing from one of the distribution-specific package managers below, a Shell reload (Alt+F2 r Enter) or logout is required, and the extension has to be enabled with gnome-tweak-tool or with dconf.
This method is not currently recommended as the Ubuntu 20.04 package is pinned to an old version which is not compatible with the newer version of GNOME in their repo
sudo apt-get install gnome-shell-extension-dash-to-panel
Package available in AUR
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/home-sweet-gnome/dash-to-panel.git
or download the branch from github. A simple Makefile is included. Then run
make install
to install the extension in your home directory. A Shell reload (Alt+F2 r Enter) or logout is required, and the extension has to be enabled with gnome-tweak-tool or with dconf.
#!/bin/bash
#-- Create Temporary Folder ------------------------------------
declare folder_name="$RANDOM-dash-to-panel";
declare folder_path="/tmp/$folder_name"
mkdir "$folder_path";
cd "$folder_path";
#-- Download Source Code ------------------------------------
sudo apt install git -y;
git clone "https://github.com/home-sweet-gnome/dash-to-panel.git";
cd "dash-to-panel/";
#-- Install Dependencies ------------------------------------
sudo apt install gettext -y;
sudo apt install make -y;
#-- Install Extension ------------------------------------
make install;
gnome-extensions enable "dash-to-panel@jderose9.github.com";
busctl --user call "org.gnome.Shell" "/org/gnome/Shell" "org.gnome.Shell" "Eval" "s" 'Meta.restart("Restarting…")';
#-- Remove Temporary Folder ------------------------------------
rm -rf "$folder_path";