From a62114c91f2070c8c8453d117f3d81dc113e41ff Mon Sep 17 00:00:00 2001 From: Biswakalyan Bhuyan Date: Mon, 25 Mar 2024 16:43:09 +0530 Subject: dotfile update --- zsh/oh-my-zsh/plugins/profiles/profiles.plugin.zsh | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 zsh/oh-my-zsh/plugins/profiles/profiles.plugin.zsh (limited to 'zsh/oh-my-zsh/plugins/profiles/profiles.plugin.zsh') diff --git a/zsh/oh-my-zsh/plugins/profiles/profiles.plugin.zsh b/zsh/oh-my-zsh/plugins/profiles/profiles.plugin.zsh deleted file mode 100644 index 5bc56ce..0000000 --- a/zsh/oh-my-zsh/plugins/profiles/profiles.plugin.zsh +++ /dev/null @@ -1,12 +0,0 @@ -# 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 -- cgit v1.2.3-59-g8ed1b