我需要把字符串"125959"转换成"12:59:59"。显然，字符串是时间，所以正则表达式在这里不太好用。
"125959"
"12:59:59"
omhiaaxx1#
time=125959 echo "${time:0:2}":"${time:2:2}":"${time:4:2}"
wlsrxk512#
我喜欢sed：
sed
time=125959 sed -e "s/\(..\)\(..\)\(..\)/\1:\2:\3/" <<< "$time"
.
[[:digit:]]
man bash(1)
<<<
2条答案
按热度按时间omhiaaxx1#
wlsrxk512#
我喜欢
sed：.替换为[[:digit:]]来对此进行优化man bash(1)中阅读关于<<<（* 此处为字符串 *）