diff options
author | Jean-Marc Lenoir | 2018-09-29 13:27:04 +0200 |
---|---|---|
committer | Jean-Marc Lenoir | 2018-09-29 13:27:04 +0200 |
commit | 013fc11c135dadd4f45e611e087c2c164cd76e36 (patch) | |
tree | 7c885fed26513102e5b5d5bd6f434a0785fcea3a /vmware-environment.sh | |
download | aur-013fc11c135dadd4f45e611e087c2c164cd76e36.tar.gz |
Initial commit.
Diffstat (limited to 'vmware-environment.sh')
-rw-r--r-- | vmware-environment.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/vmware-environment.sh b/vmware-environment.sh new file mode 100644 index 000000000000..7afe1c0f1598 --- /dev/null +++ b/vmware-environment.sh @@ -0,0 +1,14 @@ +# Uncomment the line below if you have a problem of incompatible libraries +#export VMWARE_USE_SHIPPED_LIBS=yes + +# Avoid an issue with some keyboard layouts using iBus +export GTK_IM_MODULE_FILE=/dev/null + +# Workaround to use the GTK theme +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 |