#783: Don't rely on $SHELL for detecting shell

2017-11-27 21:08:46 +01:00
parent 4780027d63
commit 629056077f
3 changed files with 3 additions and 3 deletions
@@ -13,6 +13,7 @@ class Bash(Generic):
        return '''
            function {name} () {{
                TF_PYTHONIOENCODING=$PYTHONIOENCODING;
+                export TF_SHELL=bash;
                export TF_ALIAS={name};
                export TF_SHELL_ALIASES=$(alias);
                export TF_HISTORY=$(fc -ln -10);