From 483717b0966247f9ce8e01abb9e7b62c9754e06e Mon Sep 17 00:00:00 2001
From: Steve Mao <maochenyan@gmail.com>
Date: Sun, 10 Jun 2018 01:04:40 +1000
Subject: [PATCH] display time in bash prompt

---
 .bash_prompt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.bash_prompt b/.bash_prompt
index 3ff63eb6821..cf6d9c291c9 100644
--- a/.bash_prompt
+++ b/.bash_prompt
@@ -108,6 +108,7 @@ fi;
 # Set the terminal title and prompt.
 PS1="\[\033]0;\W\007\]"; # working directory base name
 PS1+="\[${bold}\]\n"; # newline
+PS1+="\D{%F %T}\n"; # time
 PS1+="\[${userStyle}\]\u"; # username
 PS1+="\[${white}\] at ";
 PS1+="\[${hostStyle}\]\h"; # host