このようなファイルがあります。
Thomas_4567_01
Luc_2344_125
Ann_5780_25
私はこの出力が欲しい
Thomas_4567_001
Luc_2344_125
Ann_5780_025
0125から125を変更せずに001と025から01と25を変更するには?
答え1
努力する
$ awk -F_ '{$NF = sprintf ("%03d", $NF)} 1' OFS=_ file
Thomas_4567_001
Luc_2344_125
Ann_5780_025
答え2
次のプログラムを使用して操作を実行できます。
awk -F_ '{printf "%s_%s_%03d\n", $1,$2,$3}' input_file