Installation

Installation from GNOME Extensions

The easiest way to install the latest official version of Dash-to-Panel is from GNOME Extensions.

Installation from Github

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

General instructions

Install prerequisites: git, make and gettext. As an example, on Ubuntu you'd run sudo apt install git make gettext.

Clone the desired branch with git using

git clone https://github.com/home-sweet-gnome/dash-to-panel.git

or download the branch from github. Then, from the dash-to-panel directory, 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 using an extension manager, the gnome-extensions command, GNOME Extensions' website or dconf.

Reference of a full installation script on Ubuntu 19.10+ (Xorg)

#!/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";