diff options
author | Marvin Borner | 2019-03-05 01:09:01 +0100 |
---|---|---|
committer | Marvin Borner | 2019-03-05 01:09:01 +0100 |
commit | 55457187d18221e76bd12f0fb2cfab65c49b92fb (patch) | |
tree | 8db042d2d80710d54100c2709ad4332153ac848a /.oh-my-zsh/plugins/profiles |
Initial commit
Diffstat (limited to '.oh-my-zsh/plugins/profiles')
-rw-r--r-- | .oh-my-zsh/plugins/profiles/profiles.plugin.zsh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.oh-my-zsh/plugins/profiles/profiles.plugin.zsh b/.oh-my-zsh/plugins/profiles/profiles.plugin.zsh new file mode 100644 index 0000000..5bc56ce --- /dev/null +++ b/.oh-my-zsh/plugins/profiles/profiles.plugin.zsh @@ -0,0 +1,12 @@ +# You will probably want to list this plugin as the first in your .zshrc. + +# This will look for a custom profile for the local machine and each domain or +# subdomain it belongs to. (e.g. com, example.com and foo.example.com) +parts=(${(s:.:)HOST}) +for i in {${#parts}..1}; do + profile=${(j:.:)${parts[$i,${#parts}]}} + file=$ZSH_CUSTOM/profiles/$profile + if [ -f $file ]; then + source $file + fi +done |