From e95e08d4519d053ac71f82d1570a46fc0837b48c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Ruiz=20de=20Alegr=C3=ADa?= <daniel@drasite.com>
Date: Fri, 17 Jan 2020 01:44:57 +0100
Subject: [PATCH] Configure Kali-Dark gnome-shell theme

---
 debian/kali-themes.gsettings-override | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/debian/kali-themes.gsettings-override b/debian/kali-themes.gsettings-override
index c816484b..8ebe0a96 100644
--- a/debian/kali-themes.gsettings-override
+++ b/debian/kali-themes.gsettings-override
@@ -12,6 +12,9 @@ bold-is-bright=true
 button-layout='appmenu:minimize,maximize,close'
 theme='Kali-Dark'
 
+[org.gnome.shell.extensions.user-theme]
+name='Kali-Dark'
+
 [org.gnome.desktop.interface]
 icon-theme='Flat-Remix-Blue-Dark'
 gtk-theme='Kali-Dark'