Mise à jour de 'gnome.sh'

This commit is contained in:
Eliott Ude 2024-01-16 18:12:45 +01:00
parent 809b7ea05a
commit dbb4f3021b

View File

@ -53,7 +53,7 @@ gsettings set org.gnome.shell enabled-extensions "[\
git clone https://gitlab.com/rastersoft/desktop-icons-ng git clone https://gitlab.com/rastersoft/desktop-icons-ng
(cd desktop-icons-ng ; ./local_install.sh) (cd desktop-icons-ng ; ./local_install.sh)
git clone https://github.com/home-sweet-gnome/dash-to-panel git clone https://github.com/home-sweet-gnome/dash-to-panel
(cd dash-to-panel ; git checkout gnome-40 ; make install) (cd dash-to-panel ; make install)
git clone https://gitlab.com/arcmenu/ArcMenu.git git clone https://gitlab.com/arcmenu/ArcMenu.git
(cd ArcMenu ; git checkout gnome-42/43/44 ; make install) (cd ArcMenu ; git checkout gnome-42/43/44 ; make install)
dconf load /org/gnome/shell/extensions/ < files/extensions.dump dconf load /org/gnome/shell/extensions/ < files/extensions.dump