我想写一个bash scritpt,它会在前面加上一个十六进制字符的0填充,例如.32b,ae2等它只适用于整数,但不适用于混合字符和数字.我用了
printf "%04d$a\n" . a=ae2.
我想要发生的是这个0ab3,003s,000a,002a填充
我用下面的输出在文件下面grepping，但我希望结果用另一个数字增加它。
egrep -i --color=auto "[0-9]{10}" file
2017080802 ; Xen number
我怎样才能至少达到2017080803？