diff options
| -rw-r--r-- | .zsh/zshrc/90_profiles | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.zsh/zshrc/90_profiles b/.zsh/zshrc/90_profiles index 556db62..18ecf00 100644 --- a/.zsh/zshrc/90_profiles +++ b/.zsh/zshrc/90_profiles @@ -20,7 +20,7 @@ zstyle ':chpwd:profiles:/home/tobiask/src(|/|/*)' profile distanz zstyle ':chpwd:profiles:/scratch/tobiask/go(|/|/*)' profile distanz zstyle ':chpwd:profiles:/home/tobiask/zi(|/|/*)' profile zhinst zstyle ':chpwd:profiles:/scratch/tobiask/zi(|/|/*)' profile zhinst -zstyle ':chpwd:profiles:/scratch/yoctozi(|/|/*)' profile zhinst +zstyle ':chpwd:profiles:/scratch/yocto-zi(|/|/*)' profile zhinst chpwd_profile_distanz() { |