在 bash 中，我不知道该怎么做。我需要做一个bash脚本。在 stdin 我有这种格式的 .srt 字幕文件：
num
HH:MM:SS,SSS --> HH:MM:SS,SSS
text line 1
text line 2
...
HH:MM:SS,SSS 文本标题的开始和结束。
脚本必须移动秒。（它可以是 + 或 -）
例子：
$cat bmt.srt
5
00:01:02,323 --> 00:01:05,572
Hello, my frieds!
6
....
$./shifter.sh +3<mbt.srt
5
00:01:05,323 --> 00:01:08,572
Hello, my frieds!
6
我需要获取所有 HH:MM:SS 并首先将它们转换为秒。有人可以在没有 sed 的情况下做到这一点吗？
我必须编写一个 bash 脚本，该脚本将从标准输入中计算诸如“<”和“>”之类的符号。
例如：
$ ./myscript.sh <example.html
> - 20
< - 21
Found mismatching brackets!
我这样做了：
x=`grep -o '>' example.html | wc -l`
y=`grep -o '<' example.html | wc -l`
if [ "$x" -ne "$y" ]; then
echo "Mismatch!"
fi
echo $x
echo $y
这是好方法吗？我不知道如何从 stdin 获取文件名“example.html”。