02 2023 档案

摘要:将多个 srt 文件拼接成一个,找了好多工具,都太重了,自己用 shell 手搓一个。一开始没觉得这个小工具有多么难,以为半天肯定能搞定,结果足足搞了三天。绊倒我的居然是时间字段的拆分和前导零的删除,看看 shell 里有多少种实现方案,以及我为何选择了当前的方案。 阅读全文
posted @ 2023-02-14 10:17 goodcitizen 阅读(780) 评论(2) 推荐(0) 编辑