- Download dash-to-panel extension. Save the ZIP archive in a directory, e.g.
~/Downloads.- Note: use the version that matches your GNOME Desktop version.
- Install the extension.
gnome-extensions install ~/Downloads/dash-to-panel.zip - Log out, and log in again to your desktop.
- Enable the extension. Press Super key, and type Extensions in the search box. Click on Extensions in the application search results. Then, set the Dash to Panel switch to ON.
- Clone this repository.
git clone https://github.com/ytx21cn/dash-to-panel-settings.git - Right-click on the Show Applications button, and open Dash to Panel Settings.
- Switch to the About tab, and click on the Import from file button.
In the file selection window, navigate to the directory where you have cloned this Git repository.
Then select
dash-to-panel-settings.txt. - Now your settings are imported. Everything is done.
- Right-click on the Show Applications button, and open Dash to Panel Settings.
- Switch to the About tab, and click on Export to file button.
In the file selection window, navigate to the directory where you have cloned this Git repository.
Then select
dash-to-panel-settings.txt. - Push changes to GitHub.
git add dash-to-panel-settings.txt git commit -m "<Your commit message>" git push origin main