diff options
| author | Kj Tsanaktsidis <kjtsanaktsidis@groq.com> | 2026-01-09 11:58:31 +1100 |
|---|---|---|
| committer | Kj Tsanaktsidis <kjtsanaktsidis@groq.com> | 2026-01-09 11:58:31 +1100 |
| commit | 98e94297af73c583c9636c99772b2c1c34f98743 (patch) | |
| tree | 1ac244e55b6d544d556b2327308d07708350e824 /labsrv01/zsh-config.zsh | |
| parent | f5686b8e377ce3ecbf617783b4f2398423cb19fd (diff) | |
some refactor
Diffstat (limited to 'labsrv01/zsh-config.zsh')
| -rw-r--r-- | labsrv01/zsh-config.zsh | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/labsrv01/zsh-config.zsh b/labsrv01/zsh-config.zsh deleted file mode 100644 index 1c38138..0000000 --- a/labsrv01/zsh-config.zsh +++ /dev/null @@ -1,48 +0,0 @@ -# Initialize completion system -autoload -Uz compinit -compinit - -# Initialize prompt system -autoload -Uz promptinit -promptinit - -# Set options -setopt extendedglob nomatch notify - -# Define gentoo prompt theme -prompt_gentoo_help () { - cat <<'EOF' -This prompt is color-scheme-able. You can invoke it thus: - - prompt gentoo [<promptcolor> [<usercolor> [<rootcolor>]]] - -EOF -} - -prompt_gentoo_setup () { - local prompt_gentoo_prompt=${1:-'blue'} - local prompt_gentoo_user=${2:-'green'} - local prompt_gentoo_root=${3:-'red'} - - if [ "$USER" = 'root' ] - then - local base_prompt="%B%F{$prompt_gentoo_root}%m%k " - else - local base_prompt="%B%F{$prompt_gentoo_user}%n@%m%k " - fi - local post_prompt="%b%f%k" - - local path_prompt="%B%F{$prompt_gentoo_prompt}%1~" - typeset -g PS1="$base_prompt$path_prompt %# $post_prompt" - typeset -g PS2="$base_prompt$path_prompt %_> $post_prompt" - typeset -g PS3="$base_prompt$path_prompt ?# $post_prompt" -} - -# Register the prompt with promptinit -prompt_themes+=( gentoo ) - -# Use the gentoo prompt -prompt gentoo - -# Make sure GPG & SSH keys are properly imported -systemctl --user start manage-secrets.service 2>/dev/null || true |