From dbb4f3021bcd5d1ffd1fc358b35b1c605b859a8a Mon Sep 17 00:00:00 2001 From: Eliott Ude Date: Tue, 16 Jan 2024 18:12:45 +0100 Subject: [PATCH] =?UTF-8?q?Mise=20=C3=A0=20jour=20de=20'gnome.sh'?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- gnome.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnome.sh b/gnome.sh index 190ee93..26e1789 100644 --- a/gnome.sh +++ b/gnome.sh @@ -53,7 +53,7 @@ gsettings set org.gnome.shell enabled-extensions "[\ git clone https://gitlab.com/rastersoft/desktop-icons-ng (cd desktop-icons-ng ; ./local_install.sh) 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 (cd ArcMenu ; git checkout gnome-42/43/44 ; make install) dconf load /org/gnome/shell/extensions/ < files/extensions.dump