Zsh Theme For Pragmata Pro
Having spent a lot of money on purchasing the Pragmata Pro font (mostly to acquire a well-made set of glyphs for things like lambdas etc, I decided to allow this font to supplement my zsh theme. Here’s the results. This file is updated often and available on Github here. #!/usr/bin/env zsh local LAMBDA="%(?,%{$fg_bold[green]%}λ,%{$fg_bold[red]%}λ)" if [[ "$USER" == "root" ]]; then USERCOLOR="red"; else USERCOLOR="yellow"; fi # Git sometimes goes into a detached head state. git_prompt_info doesn't # return anything in this case. So wrap it in another function and check # for an empty string. function check_git_prompt_info() { if git rev-parse --git-dir > /dev/null 2>&1; then if [[ -z $(git_prompt_info) ]]; then echo "%{$fg[blue]%}detached-head%{$reset_color%}) $(git_prompt_status) %{$fg[yellow]%}→ " else echo "$(git_prompt_info) $(git_prompt_status) %{$fg_bold[cyan]%}→ " fi else echo "%{$fg_bold[cyan]%}→ " fi } function get_right_prompt() { if git rev-parse --git-dir > /dev/null 2>&1; then echo -n "$(git_prompt_short_sha)%{$reset_color%}" else echo -n "%{$reset_color%}" fi } PROMPT=' ${LAMBDA}\ %{$fg_bold[$USERCOLOR]%}%n\ %{$fg_no_bold[magenta]%}[%3~]\ $(check_git_prompt_info)\ %{$reset_color%}' RPROMPT='$(get_right_prompt)' # Format for git_prompt_info() ZSH_THEME_GIT_PROMPT_PREFIX="%{$fg[blue]%}" ZSH_THEME_GIT_PROMPT_SUFFIX="%{$reset_color%}" ZSH_THEME_GIT_PROMPT_DIRTY="%{$fg_bold[yellow]%} " ZSH_THEME_GIT_PROMPT_CLEAN="%{$fg_bold[green]%} " # Format for git_prompt_status() ZSH_THEME_GIT_PROMPT_ADDED="%{$fg_bold[green]%}⮹ " ZSH_THEME_GIT_PROMPT_MODIFIED="%{$fg_bold[blue]%}⭍" ZSH_THEME_GIT_PROMPT_DELETED="%{$fg_bold[red]%}⮾ " ZSH_THEME_GIT_PROMPT_RENAMED="%{$fg_bold[magenta]%}⭷ " ZSH_THEME_GIT_PROMPT_UNMERGED="%{$fg_bold[yellow]%}⮓ " ZSH_THEME_GIT_PROMPT_UNTRACKED="%{$fg_bold[cyan]%}⯑ " # Format for git_prompt_ahead() ZSH_THEME_GIT_PROMPT_AHEAD="%{$fg_bold[white]%}⮍ " ZSH_THEME_GIT_PROMPT_BEHIND="%{$fg_bold[white]%}⮏ " # Format for git_prompt_long_sha() and git_prompt_short_sha() ZSH_THEME_GIT_PROMPT_SHA_BEFORE=" %{$fg_bold[white]%}[%{$fg_bold[blue]%}" ZSH_THEME_GIT_PROMPT_SHA_AFTER="%{$fg_bold[white]%}]"
