Customization/ohmyzsh
1
0
Fork 0
mirror of https://github.com/ohmyzsh/ohmyzsh.git synced 2024-11-21 21:30:09 +00:00
Code Releases Activity

Change all hostname calls for $HOST or $SHORT_HOST

Browse source
This commit is contained in:
Marc Cornellà 2014-10-09 17:05:48 +02:00
parent 4310a15de5
commit 95d795e8ca
8 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
plugins/profiles/profiles.plugin.zsh
View file

@ -2,7 +2,7 @@
# 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:.:)$(hostname)})
parts=(${(s:.:)$HOST})
for i in {${#parts}..1}; do
profile=${(j:.:)${parts[$i,${#parts}]}}
file=$ZSH_CUSTOM/profiles/$profile

2
themes/candy-kingdom.zsh-theme
View file

@ -13,7 +13,7 @@ patches: <patches|join( → )|pre_applied(%{$fg[yellow]%})|post_applied(%{$reset
}
function box_name {
[ -f ~/.box-name ] && cat ~/.box-name || hostname -s
[ -f ~/.box-name ] && cat ~/.box-name || echo $SHORT_HOST || echo $HOST
}
PROMPT='

2
themes/dieter.zsh-theme
View file

@ -21,7 +21,7 @@ local user="%(!.%{$fg[blue]%}.%{$fg[blue]%})%n%{$reset_color%}"
# Hostname part. compressed and colorcoded per host_repr array
# if not found, regular hostname in default color
local host="@${host_repr[$(hostname)]:-$(hostname)}%{$reset_color%}"
local host="@${host_repr[$HOST]:-$HOST}%{$reset_color%}"
# Compacted $PWD
local pwd="%{$fg[blue]%}%c%{$reset_color%}"

2
themes/fino-time.zsh-theme
View file

@ -21,7 +21,7 @@ function prompt_char {
}
function box_name {
[ -f ~/.box-name ] && cat ~/.box-name || hostname -s
[ -f ~/.box-name ] && cat ~/.box-name || echo $SHORT_HOST || echo $HOST
}

2
themes/fino.zsh-theme
View file

@ -17,7 +17,7 @@ function prompt_char {
}
function box_name {
[ -f ~/.box-name ] && cat ~/.box-name || hostname -s
[ -f ~/.box-name ] && cat ~/.box-name || echo $SHORT_HOST || echo $HOST
}
local ruby_env=''

2
themes/kardan.zsh-theme
View file

@ -1,7 +1,7 @@
# Simple theme based on my old zsh settings.
function get_host {
echo '@'`hostname`''
echo '@'$HOST
}
PROMPT='> '

2
themes/michelebologna.zsh-theme
View file

@ -17,7 +17,7 @@ USERNAME_NORMAL_COLOR=$WHITE
USERNAME_ROOT_COLOR=$RED
HOSTNAME_NORMAL_COLOR=$BLUE
# uncomment next line if you want auto-generated hostname color
#for i in `hostname`; HOSTNAME_NORMAL_COLOR=$COLOR_ARRAY[$[((#i))%7+1]]
#for i in $HOST; HOSTNAME_NORMAL_COLOR=$COLOR_ARRAY[$[((#i))%7+1]]
HOSTNAME_ROOT_COLOR=$RED
HOSTNAME_COLOR=%(!.$HOSTNAME_ROOT_COLOR.$HOSTNAME_NORMAL_COLOR)
CURRENT_DIR_COLOR=$CYAN

2
themes/ys.zsh-theme
View file

@ -8,7 +8,7 @@
# Machine name.
function box_name {
[ -f ~/.box-name ] && cat ~/.box-name || hostname
[ -f ~/.box-name ] && cat ~/.box-name || echo $HOST
}
# Directory info.