New answers tagged

2

You can format the datafile with any of several scripting languages. With awk, awk '/^[0-9]+$/ { printf "%04d\n", $0; next; } { print; }' < oldfile >newfile Similarly, you can format numbers with leading zeros using printf in bash, zsh, etc.



Top 50 recent answers are included