bash更有效地使用sed/awk
我正在寻找一种更有效的方法,使用以下字符串作为一行程序来获得所需的结果bash更有效地使用sed/awk,bash,sed,awk,Bash,Sed,Awk,我正在寻找一种更有效的方法,使用以下字符串作为一行程序来获得所需的结果 date -d @1381219358 | sed 's/\ \ /\ /g' | sed 's/[:\ ]/-/g' | sed 's/2013/13/' | awk -F '-' '{print $4"-"$5"-"$6"-"$2"-"$3"-"$8}' 预期结果输出如下所示: 04-02-38-Oct-8-13 任何帮助都将不胜感激您可以直接格式化输出,如下所示: date -d @1381219358 +"%H-
date -d @1381219358 | sed 's/\ \ /\ /g' | sed 's/[:\ ]/-/g' | sed 's/2013/13/' | awk -F '-' '{print $4"-"$5"-"$6"-"$2"-"$3"-"$8}'
预期结果输出如下所示:
04-02-38-Oct-8-13
任何帮助都将不胜感激您可以直接格式化输出,如下所示:
date -d @1381219358 +"%H-%M-%S-%b-%d-%y"
10-02-38-Oct-08-13
您可以直接格式化输出,如下所示:
date -d @1381219358 +"%H-%M-%S-%b-%d-%y"
10-02-38-Oct-08-13
我不确定您是否需要
sed
或awk
。您可以使用date
格式化输出
试着说:
date -d @1381219358 +%H-%M-%S-%b-%d-%y
我不确定您是否需要
sed
或awk
。您可以使用date
格式化输出
试着说:
date -d @1381219358 +%H-%M-%S-%b-%d-%y
你只是想重新安排时间吗?如果是这样的话,您可以使用带有格式字符串的date命令。Pandubear,我只是想重新格式化它。我还在学习bash/linux脚本类型的东西。所以我还是很幼稚。你只是想重新安排时间吗?如果是这样的话,您可以使用带有格式字符串的date命令。Pandubear,我只是想重新格式化它。我还在学习bash/linux脚本类型的东西。所以我还是很天真。德夫努尔,这就是我一直在寻找的。效果很好。谢谢Devnull,这就是我要找的。效果很好。谢谢,这只是为了展示如何做到,更改为正确的格式。佐敦,谢谢你对此的澄清。这只是为了展示如何做到,更改为正确的格式。佐敦,谢谢你对此的澄清