From e97f406a99008f3a73209eb749b0a1382eb5c6dc Mon Sep 17 00:00:00 2001 From: Adam Hovorka Date: Sat, 6 Oct 2018 22:08:59 -0600 Subject: Remove command time from prompt --- base/zsh/prompt_pure_setup | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/base/zsh/prompt_pure_setup b/base/zsh/prompt_pure_setup index b585473..be87f60 100644 --- a/base/zsh/prompt_pure_setup +++ b/base/zsh/prompt_pure_setup @@ -146,7 +146,7 @@ prompt_pure_preprompt_render() { # username and machine if applicable #preprompt+=$prompt_pure_username # execution time - preprompt+="%F{20}${prompt_pure_cmd_exec_time}%f" + #preprompt+="%F{20}${prompt_pure_cmd_exec_time}%f" # end with symbol, colored by previous command exit code # local symbol_color="%(?.${PURE_PROMPT_SYMBOL_COLOR:-magenta}.red)" # preprompt+=" %F{$symbol_color}${PURE_PROMPT_SYMBOL:-❯}%f" @@ -177,7 +177,7 @@ prompt_pure_preprompt_render() { prompt_pure_precmd() { # check exec time and store it in a variable - prompt_pure_check_cmd_exec_time + #prompt_pure_check_cmd_exec_time # by making sure that prompt_pure_cmd_timestamp is defined here the async functions are prevented from interfering # with the initial preprompt rendering -- cgit v1.2.3-70-g09d2