From 774154a8269bf235745dd6e42eff3ec0dcefe942 Mon Sep 17 00:00:00 2001
From: Severin Kaderli <severin@kaderli.dev>
Date: Wed, 19 Jun 2019 07:57:23 +0200
Subject: [PATCH] Change time format in zsh prompt

Signed-off-by: Severin Kaderli <severin@kaderli.dev>
---
 system/.config/custom/env | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/system/.config/custom/env b/system/.config/custom/env
index c5269e3..89a30d8 100644
--- a/system/.config/custom/env
+++ b/system/.config/custom/env
@@ -157,7 +157,7 @@ function precmd() {
 # Custom prompt
 NEWLINE=$'\n'
 export PS1="┌─"
-export PS1="${PS1}%F{red}[%*]%f"
+export PS1="${PS1}%F{red}[%D{%H:%I:%S}]%f"
 export PS1="${PS1}%F{blue}[%m]%f"
 export PS1="${PS1}%F{yellow}[%~]%f"
 export PS1="${PS1}"'${(r:$(prompt_width)::─:)}'