Bash 脚本。移位秒

Geo*_*rgy 6 bash shell-script text-processing date

在 bash 中,我不知道该怎么做。我需要做一个bash脚本。在 stdin 我有这种格式的 .srt 字幕文件:

num
HH:MM:SS,SSS --> HH:MM:SS,SSS
text line 1
text line 2
...
Run Code Online (Sandbox Code Playgroud)

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
Run Code Online (Sandbox Code Playgroud)

我需要获取所有 HH:MM:SS 并首先将它们转换为秒。有人可以在没有 sed 的情况下做到这一点吗?

l0b*_*0b0 7

除非字幕文件超过 24 小时,否则您可以使用date

#!/usr/bin/env bash

set -o errexit -o noclobber -o nounset -o pipefail

date_offset="$1"

shift_date() {
    date --date="$1 $date_offset" +%T,%N | cut -c 1-12
}

while read -r line
do
    if [[ $line =~ ^[0-9][0-9]:[0-9][0-9]:[0-9][0-9],[0-9][0-9][0-9]\ --\>\ [0-9][0-9]:[0-9][0-9]:[0-9][0-9],[0-9][0-9][0-9]$ ]]
    then
        read -r start_date separator end_date <<<"$line"
        new_start_date="$(shift_date "$start_date")"
        new_end_date="$(shift_date "$end_date")"
        printf "%s %s %s\n" "$new_start_date" "$separator" "$new_end_date"
        echo "New date"
    else
        printf "%s\n" "$line"
    fi
done
Run Code Online (Sandbox Code Playgroud)

出于某种原因,您需要使用十进制数,但它有效:

$ ./shifter.sh "+3.0 seconds" < bmt.srt
5
00:01:05,323 --> 00:01:08,572
New date
Hello, my frieds!
6
Run Code Online (Sandbox Code Playgroud)


cho*_*oba 5

Perl 解决方案。我没有使用任何经典的时间处理模块,因为通常很少支持毫秒处理。

#!/usr/bin/perl
use warnings;
use strict;

use constant FACTORS => (60 * 60 * 1000,
                              60 * 1000,
                                   1000,
                                      1);

sub time2ms {
    my $time = shift;
    my ($ms, $i) = (0, 0);
    $ms += (FACTORS)[$i++] * $_ for split /[^0-9]/, $time;
    return $ms;
}


sub ms2time {
    my $ms = shift;
    my $str = q();
    for my $i (0 .. 3) {
                $str .= sprintf +($i == 3 ? '%03d' : '%02d')
                                    . (':', ':', ',', q())[$i],
                                $ms / (FACTORS)[$i];
        $ms = $ms % (FACTORS)[$i];
    }
    return $str;
}


my $diff   = 1000 * shift;
my $TIME_R = qr/[0-9]{2}:[0-9]{2}:[0-9]{2},[0-9]{3}/;
while (<>) {
    if (my ($from, $to) = /($TIME_R) --> ($TIME_R)/) {
        my $i = 0;
        for my $time ($from, $to) {
            $time = time2ms($time) + $diff;
            print ms2time($time), (' --> ', "\n")[$i++];
        }
    } else {
        print;
    }
}
Run Code Online (Sandbox Code Playgroud)