【发布时间】:2019-09-16 22:00:22
【问题描述】:
我有一些文件的时间和日期有误,但文件名包含正确的时间和日期,我尝试编写一个脚本来使用 touch 命令修复此问题。
文件名示例: 071212_090537.jpg
我希望将其转换为以下格式: 1712120905.37
注意,年份在文件名中列为07,即使是17,所以我希望将第一个0改为1。
如何使用 awk 或 sed 做到这一点?
我对 awk 和 sed(一般来说是一种编程)很陌生。已尝试搜索解决方案和说明,但无法弄清楚如何解决此问题。
谁能帮帮我?
谢谢。 :)
【问题讨论】:
-
欢迎来到 SO。 Stack Overflow 是一个专为专业和热情的程序员准备的问答页面。将您自己的代码添加到您的问题中。您应该至少展示自己为解决这个问题所做的研究。