From 5f97f221da5121a509d3031eb29c42ed28bbf6a5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Hertzog?= Date: Wed, 6 Nov 2019 23:53:28 +0100 Subject: [PATCH] Rename /etc/default/grub.d/kali-themes.conf into *.cfg Otherwise it doesn't get used... --- etc/default/grub.d/{kali-themes.conf => kali-themes.cfg} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename etc/default/grub.d/{kali-themes.conf => kali-themes.cfg} (100%) diff --git a/etc/default/grub.d/kali-themes.conf b/etc/default/grub.d/kali-themes.cfg similarity index 100% rename from etc/default/grub.d/kali-themes.conf rename to etc/default/grub.d/kali-themes.cfg