关于awk的文本替换问题！！！在线等。。。
现在我有这样一个文件
time           commandName
12:30         commandname1
23:45         commandname2
现在要用awk去更改某一个command的time数值
比如要将commandname1的time改为13:30
该awk命令应该怎样写？

------解决方案--------------------
用sed吧
sed '/commandname1/ s/^[^ ]*/newtime/ ' input.txt

sed -i 可以直接修改