当性能很重要时。在script.awk中输入：

BEGIN{ 
  m["Jan"]="01"; m["Feb"]="02"; m["Mar"]="03"; m["Apr"]="04"; 
  m["May"]="05"; m["Jun"]="06"; m["Jul"]="07" # to be completed
}
{
  print $1, $2, m[$4] "/" $5 "/" $8
}

用法：awk -f script.awk logfile
输出：

ok: servername 05/23/2018
ok: servername 07/16/2019

使用GNUx 1 m0n1x，您可以指定一个包含所有日期字符串的输入文件;结合cut和paste：

paste -d ' ' \
    <(cut -d ' ' -f-2 infile) \
    <(date -f <(cut -d ' ' -f3- infile) '+%m/%d/%Y')

输出：

ok: servername 05/23/2018
ok: servername 07/16/2019

它使用进程替换为date -f构建一个临时输入文件，并为paste构建一个新的输出文件。

根据man date，该命令能够

• 显示时间由STRING描述，而不是'now'*

通过--date或-d。所以如果你把你的值存储在一个变量中

DATE="Thu Jul 16 00:00:00 EDT 2019"

你可以用类似

date --date="${DATE}" +%m/%d/%Y

重新格式化时间戳。
有关更多信息，您可以查看Convert date formats in bash。