diff options
author | Jean-Marc Lenoir | 2018-05-02 15:05:26 +0200 |
---|---|---|
committer | Jean-Marc Lenoir | 2018-05-02 15:05:26 +0200 |
commit | bb474ddc59030a06a859ad04c5343fc907b5088b (patch) | |
tree | 0aadef18bea6b8e6058e95b6de393957dd688ec5 /vmware-environment.sh | |
parent | cf718f86e466f5c628f059ac3155faf999a438ba (diff) | |
download | aur-bb474ddc59030a06a859ad04c5343fc907b5088b.tar.gz |
Does not load GTK theme if not compatible with GTK 3.14
Diffstat (limited to 'vmware-environment.sh')
-rw-r--r-- | vmware-environment.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/vmware-environment.sh b/vmware-environment.sh index c1d07c3aab88..7afe1c0f1598 100644 --- a/vmware-environment.sh +++ b/vmware-environment.sh @@ -5,6 +5,10 @@ export GTK_IM_MODULE_FILE=/dev/null # Workaround to use the GTK theme -if [ -z $GTK_THEME ]; then - export GTK_THEME=$(gtk-query-settings gtk-theme-name | cut -d '"' -f2) +if [ -z "$GTK_THEME" ]; then + theme=$(gtk-query-settings gtk-theme-name | cut -d '"' -f2) + # Hack to know if the theme is compatible with GTK 3.14 (used by VMware) + if [ \( -d ~/.themes/"$theme" -a -d ~/.themes/"$theme"/gtk-3.20 \) -o \( -d /usr/share/themes/"$theme" -a -d /usr/share/themes/"$theme"/gtk-3.20 \) ]; then + export GTK_THEME="$theme" + fi fi |