From efde9e8cec4a9ad410d2031d24015c0a21f6a466 Mon Sep 17 00:00:00 2001 From: Chris Koeritz Date: Thu, 10 Mar 2016 13:30:44 -0500 Subject: [PATCH] new script for fixing the default ubuntu theme by adding borders to desktop windows. personally i like a border size of 4, rather than 2. --- infobase/configuration/x_win/add_borders_to_ubuntu_theme.sh | 4 ++++ 1 file changed, 4 insertions(+) create mode 100755 infobase/configuration/x_win/add_borders_to_ubuntu_theme.sh diff --git a/infobase/configuration/x_win/add_borders_to_ubuntu_theme.sh b/infobase/configuration/x_win/add_borders_to_ubuntu_theme.sh new file mode 100755 index 00000000..83f5679b --- /dev/null +++ b/infobase/configuration/x_win/add_borders_to_ubuntu_theme.sh @@ -0,0 +1,4 @@ + +sudo sed -i -e \ +'s/-UnityDecoration-extents: 28px 0 0 0;/-UnityDecoration-extents: 28px 2 2 2;/' \ +/usr/share/themes/Ambiance/gtk-3.0/apps/unity.css -- 2.34.1