碰撞或递增由grep导致的整数

Question

我在下面输出下面的文件，但是我希望结果用另一个数字递增它。

egrep -i --color=auto "[0-9]{10}" file
2017080802 ; Xen number

我怎么能至少到2017080803？

Answer 1

像这样的东西？

awk '/[0-9]{10}/ { print 1+$1 }' file

Answer 2

awk '{$1=($1+1); print $0}' file将增加你输出的第一列。例：

a="2017080802 ; Xen number"; echo $a | awk '{$1=($1+1); print $0}'
2017080803 ; Xen number