在bash中将字符插入字符串？

Question

我需要将字符串"125959"转换为"12:59:59".

显然,字符串是时间,所以正则表达式在这里不太好.

Answer 1

time=125959
echo ${time:0:2}:${time:2:2}:${time:4:2}

Answer 2

我喜欢sed:

time=125959
sed -e "s/\(..\)\(..\)\(..\)/\1:\2:\3/" <<< "$time"

• 您可以通过替换完善这一.带[[:digit:]]
• 阅读<<<(Here strings)inman bash(1)