如何添加一些0(或其他)数字直到x位数字。 (带sed)例如:
0
$ cat blabla 128 19 3 1957
->为此
0128 0019 0003 1957
我尚未对sed进行任何尝试。
sed 's/[^0-9]//g'
使用bash:
printf "%.4d\n" $(< blabla)
或使用awk:
awk '{printf("%.4d\n",$1)}' blabla
输出:
0128001900031957年