PoliEcho/kaliish-orange-theme
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Gnome-Shell: replace dash-to-dock extension with ubuntu-dock

Browse Source
This commit is contained in:
Daniel Ruiz de Alegría 2022-04-20 19:44:37 +02:00
parent 1f97a1fdb2
commit 59fadc7dc2
No known key found for this signature in database
GPG Key ID: 59667A77E8BFCB6C
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
debian/kali-themes.gsettings-override vendored
View File

@ -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]