From 56950b5ed2ea2de567a7b41c9c45aab51d07fb0d Mon Sep 17 00:00:00 2001
From: Severin Kaderli <severin@kaderli.dev>
Date: Wed, 19 Jun 2019 07:58:37 +0200
Subject: [PATCH] Fix 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 89a30d8..dd5bcf5 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}[%D{%H:%I:%S}]%f"
+export PS1="${PS1}%F{red}[%D{%T}]%f"
 export PS1="${PS1}%F{blue}[%m]%f"
 export PS1="${PS1}%F{yellow}[%~]%f"
 export PS1="${PS1}"'${(r:$(prompt_width)::─:)}'