fix: change logging date format (#509)

jiro4989 · web-flow · commit 3a60cf06f20c · 2024-09-16T01:05:17.000+09:00
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() {

Original file line number	Diff line number	Diff line change
`@@ -2,6 +2,8 @@`
`2`	`2`
`3`	`3`	`set -eu`
`4`	`4`
	`5`	`+DATE_FORMAT="%Y-%m-%d %H:%M:%S"`
	`6`	`+`
`5`	`7`	`fetch_tags() {`
`6`	`8`	`# https://docs.github.com/ja/rest/git/refs?apiVersion=2022-11-28`
`7`	`9`	`curl \`
`@@ -30,11 +32,11 @@ filter_os_asset() {`
`30`	`32`	`}`
`31`	`33`
`32`	`34`	`info() {`
`33`		`- echo "$(date) [INFO] $*"`
	`35`	`+ echo "$(date +"$DATE_FORMAT") [INFO] $*"`
`34`	`36`	`}`
`35`	`37`
`36`	`38`	`err() {`
`37`		`- echo "$(date) [ERR] $*"`
	`39`	`+ echo "$(date +"$DATE_FORMAT") [ERR] $*"`
`38`	`40`	`}`
`39`	`41`
`40`	`42`	`tag_regexp() {`