From 04d31b1b1a9c86d91d0a5ec9fdd2b8e99d25e561 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Ruiz=20de=20Alegr=C3=ADa?= Date: Fri, 15 Apr 2022 18:10:00 +0200 Subject: [PATCH] Gnome-Shell: fix dashtodock bug with external drives --- debian/kali-themes.gsettings-override | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/debian/kali-themes.gsettings-override b/debian/kali-themes.gsettings-override index 41dc32e9..9cc5370e 100644 --- a/debian/kali-themes.gsettings-override +++ b/debian/kali-themes.gsettings-override @@ -52,6 +52,10 @@ favorite-apps = ['org.gnome.Terminal.desktop', 'org.gnome.Nautilus.desktop', 'ge [org.gnome.shell.extensions.dash-to-dock] custom-theme-shrink=true show-trash = false +# TODO: remove +# Fixes issue with external drives crashing the shell +# https://github.com/micheleg/dash-to-dock/issues/1701 +show-mounts = false # Configure desktop icons in gnome-shell [org.gnome.shell.extensions.ding]