diff --git a/install_nim.sh b/install_nim.sh index c2cc65f0..c22a0c1d 100755 --- 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() {