diff options
| -rw-r--r-- | tools/menuconfig.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/menuconfig.py b/tools/menuconfig.py index aaf4c9e888..678f23bf03 100644 --- a/tools/menuconfig.py +++ b/tools/menuconfig.py @@ -219,6 +219,11 @@ def touch_env(): if sys.platform != 'win32': env_sh = open(os.path.join(env_dir, 'env.sh'), 'w') env_sh.write('export PATH=~/.env/tools/scripts:$PATH') + + # if fish config exists, generate env.fish + if os.path.exists(os.path.join(home_dir, '.config', 'fish', 'config.fish')): + env_fish = open(os.path.join(env_dir, 'env.fish'), 'w') + env_fish.write('set -gx PATH ~/.env/tools/scripts $PATH') else: if os.path.exists(os.path.join(env_dir, 'tools', 'scripts')): os.environ["PATH"] = os.path.join(env_dir, 'tools', 'scripts') + ';' + os.environ["PATH"] |