kevinseelbach

#!/usr/bin/env bash
# Description: Convert all mkv files in a directory to mp4 using ffmpeg and vaapi

# set -x

convert_file() {
  input_filename="$1"
  output_filename="${input_filename%.mkv}.mp4"

  python3 -c 'header=" BEGIN converting '"$input_filename "'"; print(f"{header:*^80}")'