/usr/share/awk 目录中使用的 .awk 文件是什么？答案

【问题标题】：What are the .awk files used for in /usr/share/awk directory?/usr/share/awk 目录中使用的 .awk 文件是什么？
【发布时间】：2022-01-03 01:00:08
【问题描述】：

我使用的是 CentOS 7 系统。我在 /usr/share/awk 目录下找到以下文件。这些文件是做什么用的？

-rw-r--r--. 1 root root  382 Jun 28  2017 assert.awk
-rw-r--r--. 1 root root  327 Jun 28  2017 bits2str.awk
-rw-r--r--. 1 root root  307 Jun 28  2017 cliff_rand.awk
-rw-r--r--. 1 root root  233 Jun 28  2017 ctime.awk
-rw-r--r--. 1 root root  317 Jun 28  2017 ftrans.awk
-rw-r--r--. 1 root root 2237 Jun 28  2017 getopt.awk
-rw-r--r--. 1 root root 2491 Jun 28  2017 gettime.awk
-rw-r--r--. 1 root root 1792 Jun 28  2017 group.awk
-rw-r--r--. 1 root root  378 Jun 28  2017 join.awk
...

【问题讨论】：

man-pages 中有对 /usr/local/share/awk 的引用，这可能会提示这些文件...

标签： awk

【解决方案1】：

我认为这些是 GNU awk 特有的。这些是您可以包含在代码中的文件。

例如，ctime.awk 提供了一个ctime 函数：

$ gawk -i ctime 'BEGIN {print ctime(1234)}'
Wed Dec 31 19:20:34 EST 1969

或

gawk '
  @include "ctime"
  BEGIN {print ctime(1234)}
'

见Include Files 和Extension Samples

【讨论】：