From 6ee94be2b4331dde7427fe45e115b7f0d9ab5923 Mon Sep 17 00:00:00 2001 From: Sophie Brun Date: Tue, 22 Oct 2019 11:26:31 +0200 Subject: [PATCH] Moved xfce theme specific from kali-defaults --- debian/control | 2 ++ debian/kali-theme-common.install | 1 + debian/kali-theme.install | 1 + debian/kali-theme.postinst | 18 ++++++++++++++++ debian/kali-theme.postrm | 14 ++++++++++++ debian/kali-theme.preinst | 13 +++++++++++ xfce/terminalrc | 3 +++ xfce/xsettings.xml | 37 ++++++++++++++++++++++++++++++++ 8 files changed, 89 insertions(+) create mode 100644 debian/kali-theme.install create mode 100644 debian/kali-theme.postinst create mode 100644 debian/kali-theme.postrm create mode 100644 debian/kali-theme.preinst create mode 100644 xfce/terminalrc create mode 100644 xfce/xsettings.xml diff --git a/debian/control b/debian/control index 909652f8..5266280c 100644 --- a/debian/control +++ b/debian/control @@ -36,6 +36,8 @@ Package: kali-theme Architecture: all Depends: kali-desktop-base (= ${source:Version}), ${misc:Depends} +Breaks: kali-defaults (<< 2019.4.0) +Replaces: kali-defaults (<< 2019.4.0) Description: Configure all desktops to use the Kali theme Installing this package should configure most desktops to use the Kali theme by default. diff --git a/debian/kali-theme-common.install b/debian/kali-theme-common.install index b5f268af..c144452e 100644 --- a/debian/kali-theme-common.install +++ b/debian/kali-theme-common.install @@ -8,3 +8,4 @@ usr/share/icons/ usr/share/plymouth/ usr/share/gnome-background-properties/ usr/share/wallpapers/ +xfce/xsettings.xml usr/share/kali-theme-common/ diff --git a/debian/kali-theme.install b/debian/kali-theme.install new file mode 100644 index 00000000..ab313521 --- /dev/null +++ b/debian/kali-theme.install @@ -0,0 +1 @@ +xfce/terminalrc etc/xdg/xfce4/terminal/ diff --git a/debian/kali-theme.postinst b/debian/kali-theme.postinst new file mode 100644 index 00000000..355f1811 --- /dev/null +++ b/debian/kali-theme.postinst @@ -0,0 +1,18 @@ +#!/bin/sh + +set -e + +if [ "$1" = "configure" ]; then + for file in /etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml + do + orig_file="/usr/share/kali-theme-common/$(basename $file)" + if [ ! -e $file ] && [ -e $orig_file ]; then + echo "Installing $orig_file as $file" + mkdir -p $(dirname $file) + cp $orig_file $file + fi + done + dconf update || true +fi + +#DEBHELPER# diff --git a/debian/kali-theme.postrm b/debian/kali-theme.postrm new file mode 100644 index 00000000..3702ae28 --- /dev/null +++ b/debian/kali-theme.postrm @@ -0,0 +1,14 @@ +#!/bin/sh + +set -e + +case "$1" in + remove) + rm -f /etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml + dpkg-divert --rename --package kali-theme \ + --divert /etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml.original \ + --remove /etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml + ;; +esac + +#DEBHELPER# diff --git a/debian/kali-theme.preinst b/debian/kali-theme.preinst new file mode 100644 index 00000000..bb1aaaae --- /dev/null +++ b/debian/kali-theme.preinst @@ -0,0 +1,13 @@ +#!/bin/sh + +set -e + +case "$1" in + install) + dpkg-divert --rename --package kali-theme \ + --divert /etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml.original\ + --add /etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml + ;; +esac + +#DEBHELPER# diff --git a/xfce/terminalrc b/xfce/terminalrc new file mode 100644 index 00000000..a2256b70 --- /dev/null +++ b/xfce/terminalrc @@ -0,0 +1,3 @@ +[Configuration] +BackgroundMode=TERMINAL_BACKGROUND_TRANSPARENT +BackgroundDarkness=0.850000 diff --git a/xfce/xsettings.xml b/xfce/xsettings.xml new file mode 100644 index 00000000..88c23e7a --- /dev/null +++ b/xfce/xsettings.xml @@ -0,0 +1,37 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +