Что-то вроде этого:
#! /bin/bash
in_file=$1
out_file=$2
while read command
do
whatis $command
done < $in_file >> $out_file
Я решил оставить stderr нетронутым, так как если у вас есть команда там, для которой whatis информация недоступна, вы должны быть осведомлены (и посмотрите в другом месте, если необходимо).
Вы можете использовать мультиплексор сегментов:
ffmpeg -i input.mp4 -map 0 -c copy -f segment -segment_time 1800 output_%03d.mp4
В этом примере выходные файлы будут называться output_000.mp4, output_001.mp4 и т. д. Сегменты могут быть не ровно 30 минут, потому что они должны вырезать только по ключевым кадрам. Вы можете использовать мультиплексор сегментов:
ffmpeg -i input.mp4 -map 0 -c copy -f segment -segment_time 1800 output_%03d.mp4
В этом примере выходные файлы будут называться output_000.mp4, output_001.mp4 и т. д. Сегменты могут быть не ровно 30 минут, потому что они должны вырезать только по ключевым кадрам. Вы можете использовать мультиплексор сегментов:
ffmpeg -i input.mp4 -map 0 -c copy -f segment -segment_time 1800 output_%03d.mp4
В этом примере выходные файлы будут называться output_000.mp4, output_001.mp4 и т. д. Сегменты могут быть не ровно 30 минут, потому что они должны вырезать только по ключевым кадрам.