From 8b24c74eaa4ffab5bbf947e8a59b02207d7b8395 Mon Sep 17 00:00:00 2001 From: Martinez Date: Wed, 27 Apr 2016 09:58:15 +0200 Subject: [PATCH] zshrc: add space to terminal title --- share/zsh-init | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/share/zsh-init b/share/zsh-init index 9b2f51a..deed9b8 100755 --- a/share/zsh-init +++ b/share/zsh-init @@ -16,11 +16,11 @@ function preexec { local -a cmd cmd=(${(z)1}) - set_title "${USER}:${PWD} -> ${cmd}" + set_title "${USER}: ${PWD} -> ${cmd}" } function precmd { - set_title "${USER}:${PWD}" + set_title "${USER}: ${PWD}" python3 /usr/libexec/over-prompt.py "${COLUMNS}" "${PWD}" "${OVER_PROMPT_LAST_REFRESH}" "${OVER_PROMPT_SYSLOAD_WARN:=1.25}" "${OVER_PROMPT_SYSLOAD_YELL:=2.5}" "${OVER_PROMPT_FREESPACE_WARN:=0.15}" "${OVER_PROMPT_FREESPACE_YELL:=0.05}" PS1="$(print "%(?.%{\e[1;36m%}.%{\e[1;31m%}%?%{\e[0m%}:%{\e[1;31m%})%(\!.#.$)%{\e[0m%} ")" OVER_PROMPT_LAST_REFRESH=$(date +%s)