如何实现字符串不足N位自动补零

文本中有如下一列：

1
2
3
4
……
100

我想把它输出为：

0001
0002
0003
0004
……
0100

就是不足4位的前面补0

awk '{printf("%04d\n",$0);}' filename