BuZZ-dEE / dock-from-dash

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Dock from Dash

A simple dock that does use native GNOME Shell dash

GNOME Shell 40+ extension

https://extensions.gnome.org/extension/4703/dock-from-dash/

How to install the extension

This extension includes an installer that simplifies all the process. You only need to have installed in your system the programs: meson, ninja and gettext. To install it, just:

1. Open a terminal where you downloaded the extension
2. type './local_install.sh'

Building with meson (useful for packagers)

If you want to build the extension manually using meson (for example, to install it system-wide or to package it), just do:

meson --prefix=$HOME/.local/ --localedir=share/gnome-shell/extensions/ding@rastersoft.com/locale .build
ninja -C .build install

You can change the prefix to /usr or /usr/local and remove the localedir.

Translating into a new language

If you want to add a new language, first you have to edit the file po/LINGUAS and add there the code for the new language that you want to use.

Now just follow the process in "updating the current translations"

Updating the current translations

Follow these steps:

1. Open a terminal where you downloaded the extension
2. type 'meson .build'
3. type 'ninja -C .build dock-from-dash-update-po
4. open the .po file corresponding to your language with an editor

Although any text editor will work, I strongly recommend to use an editor oriented to translate .po files, like 'gtranslator', because it greatly simplifies the job.

About

License:GNU General Public License v3.0


Languages

Language:JavaScript 92.5%Language:Meson 3.9%Language:Python 2.2%Language:Shell 1.4%