bash – awk,1970年以前的日期

从 https://www.gnu.org/software/gawk/manual/html_node/Time-Functions.html
我知道gawk只有2个函数可以处理日期/时间
mktime和strftime.

所以,我可以使用返回long的mktime来解析任何日期,所以我可以进行任何数学运算,因此我可以使用strftime格式化所需的输出

这就像“1970 01 01 00 00 00”之后任何日期的魅力一样

使用awk,如何在1970年之前格式化日期？

$awk 'BEGIN{t=mktime("1970 01 01 00 00 00"); print t; print strftime("%Y-%m-%d",t) }'
10800
1970-01-01
$awk 'BEGIN{t=mktime("1960 01 01 00 00 00"); print t; print strftime("%Y-%m-%d",t) }'
-315608400
awk: cmd. line:1: (FILENAME=- FNR=1) fatal: strftime: second argument less than 0 or too big for time_t

不幸的是,正如你所见,gawk不能直接做到这一点. gawk manual说：

All known POSIX-compliant systems support timestamps from 0 through 2^31 – 1,which is sufficient to represent times through 2038-01-19 03:14:07 UTC. Many systems support a wider range of timestamps,including negative timestamps that represent times before the epoch.

如果给出超出范围的日期,手册没有说明strftime()的作用.

但即使在我的系统上,它确实表现出负面的time_t值,gawk的strftime()函数也不支持它们(虽然mktime()确实如此),因此无法处理1970年之前的日期.我认为这是一个bug在gawk.

(我的建议是使用Perl而不是Awk,但这并不能回答你问的问题.)

原则上,您可以通过在awk中重新实现类似strftime()的函数来重新发明轮子.但这太过分了.

如果您的系统有一个有效的GNU coreutils date命令,您可以从gawk调用它.使用你1960年1月1日的例子：

$cat 1960.awk
#!/usr/bin/awk -f
 
BEGIN {
    timestamp = mktime("1960 00 00 00 00 00")
    print "mktime() returned " timestamp
 
    if (0) {
        # This doesn't work
        s = strftime("%Y-%m-%d %H:%M:%S",timestamp)
        print "strftime() returned ",s
    }
    else {
        # This works
        "date '+%Y-%m-%d %H:%M:%S' -d @" timestamp | getline t
        print "The date command printed \"" t "\""
    }
}
$./1960.awk
mktime() returned -318355200
The date command printed "1959-11-30 00:00:00"
$

(我放弃了从shell提示符中找出执行此操作所需的引号和反斜杠序列.)

如果你有一个庞大的现有awk程序并且你需要添加这个功能,这可能是有意义的.但是如果你不是坚持用awk做这个,你可能会考虑使用别的东西; awk可能不是你想要完成的工具的正确工具.

或者,如果你真的雄心勃勃,你可以修改gawk来源来正确处理这种情况.

bash – awk,1970年以前的日期

猜你在找的Bash相关文章