diff options
author | Jean-Marc Lenoir | 2018-09-29 16:07:25 +0200 |
---|---|---|
committer | Jean-Marc Lenoir | 2018-09-29 16:07:25 +0200 |
commit | 0f8d12fc84a7df8ef706c729e020f25ab50c1186 (patch) | |
tree | 6b424cd3aca30f9f08676621c8f5a0ea6bc2fa6b /vmware-environment.sh | |
parent | 52899c0a95af05f8112b323608b19647064f599a (diff) | |
download | aur-0f8d12fc84a7df8ef706c729e020f25ab50c1186.tar.gz |
Update to 15.0.0
Diffstat (limited to 'vmware-environment.sh')
-rw-r--r-- | vmware-environment.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/vmware-environment.sh b/vmware-environment.sh index 7afe1c0f1598..b4bee50db4df 100644 --- a/vmware-environment.sh +++ b/vmware-environment.sh @@ -1,14 +1,2 @@ # 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 |