在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:]]
来优化此功能
• 在<<<
中了解man bash(1)（此处字符串）