From 59fadc7dc27dfe118e550ae369932bcd78984a54 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Ruiz=20de=20Alegr=C3=ADa?= Date: Wed, 20 Apr 2022 19:44:37 +0200 Subject: [PATCH] Gnome-Shell: replace dash-to-dock extension with ubuntu-dock --- debian/kali-themes.gsettings-override | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/kali-themes.gsettings-override b/debian/kali-themes.gsettings-override index dacd1434..08174ab5 100644 --- a/debian/kali-themes.gsettings-override +++ b/debian/kali-themes.gsettings-override @@ -46,7 +46,7 @@ swap-color = '#19a187' [org.gnome.shell] disable-extension-version-validation = true -enabled-extensions = ['apps-menu@gnome-shell-extensions.gcampax.github.com','places-menu@gnome-shell-extensions.gcampax.github.com','dash-to-dock@micxgx.gmail.com','ProxySwitcher@flannaghan.com','ubuntu-appindicators@ubuntu.com','user-theme@gnome-shell-extensions.gcampax.github.com','ding@rastersoft.com'] +enabled-extensions = ['apps-menu@gnome-shell-extensions.gcampax.github.com','places-menu@gnome-shell-extensions.gcampax.github.com','ubuntu-dock@ubuntu.com','ProxySwitcher@flannaghan.com','ubuntu-appindicators@ubuntu.com','user-theme@gnome-shell-extensions.gcampax.github.com','ding@rastersoft.com'] favorite-apps = ['org.gnome.Terminal.desktop', 'org.gnome.Nautilus.desktop', 'gedit.desktop', 'firefox-esr.desktop', 'kali-msfconsole.desktop', 'wireshark.desktop', 'kali-burpsuite.desktop', 'cherrytree.desktop'] [org.gnome.shell.extensions.dash-to-dock]