Add time marker

This commit is contained in:
Maniack Crudelis 2020-04-30 00:10:13 +02:00
parent eb5d48d6a3
commit cb24568248

View file

@ -55,7 +55,7 @@ stop_timer () {
else
ECHO_FORMAT "Working time: " "blue"
fi
ECHO_FORMAT "${phours}${pminutes}${pseconds}.\n" "blue"
ECHO_FORMAT "${phours}${pminutes}${pseconds} ($(date '+%T')).\n" "blue"
}
#=================================================