taziden/dotfiles
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

zsh: manage remote servers

Browse Source
This commit is contained in:
Julien Rabier 2025-12-27 21:48:27 +01:00
parent 638d82f49c
commit ce75c2fabd
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
dot_zshrc.tmpl
View File

@ -64,7 +64,11 @@ eval "$(sheldon source)"
#eval "$(starship init zsh)"
setopt PROMPT_SUBST
{{- if eq .chezmoi.hostname "taupo" }}
PROMPT='$(prmt --shell zsh --code $? "{path:cyan.bold} {git:purple.bold} {python:yellow.bold::🐍}{rust:red.bold:s:🦀}{node:green.bold:s:⬢}\nat {time:yellow.bold:24hs} {ok:green.bold}{fail:red.bold:code} ")'
{{- else }}
PROMPT='$(prmt --shell zsh --code $? "{env:yellow.bold:USER} in {env:green.bold:HOSTNAME} in {path:cyan.bold} {git:purple.bold} {python:yellow.bold::🐍}{rust:red.bold:s:🦀}{node:green.bold:s:⬢}\nat {time:yellow.bold:24hs} {ok:green.bold}{fail:red.bold:code} ")'
{{- end }}
# Profiling
#unsetopt XTRACE