Merge branch 'master' into behrangsa-fish-config
authorBehrang <18451+behrangsa@users.noreply.github.com>
Sat, 23 Jun 2018 14:14:51 +0000 (00:14 +1000)
committerGitHub <noreply@github.com>
Sat, 23 Jun 2018 14:14:51 +0000 (00:14 +1000)
1  2 
plugins/terminal/resources/fish/config.fish

index 10de5996c6b90f1210188e409d62191eeae9da75,e4e8a8f7944979e29fa829ed6cfd9a058030de86..927702da1a1285b23d9d507473d2cdbea602ef4a
@@@ -23,3 -17,19 +23,19 @@@ if test -n "$JEDITERM_SOURCE
    . "$JEDITERM_SOURCE"
    set -e JEDITERM_SOURCE
  end
 -override_jb_variables
+ function override_jb_variables
+   for variable in (env)
+       set name_and_value (string split -m 2 "=" -- $variable)
+       set name $name_and_value[1]
+       set value $name_and_value[2]
+       if string match -q -- "_INTELLIJ_FORCE_SET_*" $name
+               set new_name (string sub -s 21 -- $name)
+               if [ $new_name ]
+                       set -x $new_name $value
+               end
+       end
+   end
+ end
++override_jb_variables