fix: change logging date format (#509)

jiro4989 · Sep 15, 2024 · 3a60cf0 · 3a60cf0
1 parent e515832
commit 3a60cf0
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/install_nim.sh b/install_nim.sh
@@ -2,6 +2,8 @@
 
 set -eu
 
+DATE_FORMAT="%Y-%m-%d %H:%M:%S"
+
 fetch_tags() {
   # https://docs.github.com/ja/rest/git/refs?apiVersion=2022-11-28
   curl \
@@ -30,11 +32,11 @@ filter_os_asset() {
 }
 
 info() {
-  echo "$(date) [INFO] $*"
+  echo "$(date +"$DATE_FORMAT") [INFO] $*"
 }
 
 err() {
-  echo "$(date) [ERR] $*"
+  echo "$(date +"$DATE_FORMAT") [ERR] $*"
 }
 
 tag_regexp() {