Linux 在bash中将字符插入字符串？
声明：本页面是StackOverFlow热门问题的中英对照翻译，遵循CC BY-SA 4.0协议，如果您需要使用它，必须同样遵循CC BY-SA许可，注明原文地址和作者信息，同时你必须将它归于原作者（不是我）：StackOverFlow
原文地址: http://stackoverflow.com/questions/12230762/
Warning: these are provided under cc-by-sa 4.0 license. You are free to use/share it, But you must attribute it to the original authors (not me):
StackOverFlow
提示：将鼠标放在中文语句上可以显示对应的英文。显示中英文
时间：2020-08-06 14:14:14 来源:igfitidea点击:
Insert characters Into a string in bash?
提问by Andrew Mcdonald
I need to turn the string "125959"into "12:59:59".
我需要把字符串"125959"变成"12:59:59".
Obviously, the string is the time so regular expressions aren't much good here.
显然，字符串是时间，所以正则表达式在这里不太好。
采纳答案by Ansgar Wiechers
time=125959
echo ${time:0:2}:${time:2:2}:${time:4:2}
回答by Chen Levy
I like sed:
我喜欢sed：
time=125959
sed -e "s/\(..\)\(..\)\(..\)/::/" <<< "$time"
- You can refine this by replacing
.with[[:digit:]] - Read about
<<<(Here strings) inman bash(1)
- 您可以通过替换
.为[[:digit:]] - 阅读
<<<（此处字符串）在man bash(1)
