当前位置：文江博客话题详情

如何将“2010-10-08 00:00:01”的时间格式转换为“2010-10-08 00:00:01”至“1286467201”在 awk 中

发布于 2024-09-28 05:57:27 字数 129 浏览 4 评论 0原文

在awk中，有没有办法将时间格式从“2010-10-08 00:00:01”转换为1286467201
与使用命令“date”一样
$ 日期 +%s -d '2010-10-08 00:00:01'
1286467201

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

我爱人 2024-10-05 05:57:27

GNU awk 有一个 mktime 函数可以完成这项工作。然而，了解时区至关重要。字符串“2010-10-08 00:00:01”不包含足够的信息来定义特定时间。如果你假设它是 UTC，你可以这样做：

$ echo 2010-10-08 00:00:01 | \
  TZ=UTC gawk '{ tstr=$1" "$2; gsub(/[\-:]/, " ", tstr); print mktime(tstr); }'
1286496001

如果你不指定 TZ 变量，你最终会得到服务器的时区（无论如何应该是 UTC，但很多人在服务器上使用本地时间，所以它不是一个安全假设）。

您可以通过稍微更改 date 命令来获取 UTC 输出：

$ date +%s -u -d '2010-10-08 00:00:01'

GNU awk has a mktime function that can do the job. However, it's crucial to be aware of timezones. The string "2010-10-08 00:00:01" does not contain enough information to define a specific time. If you assume it is in UTC you can do:

$ echo 2010-10-08 00:00:01 | \
  TZ=UTC gawk '{ tstr=$1" "$2; gsub(/[\-:]/, " ", tstr); print mktime(tstr); }'
1286496001

If you don't specify the TZ variable you end up with the server's time zone (which should be UTC anyway, but a lot of folks use local time on servers, so it's not a safe assumption).

You can get UTC output from your date command by altering it slightly: