diff options
Diffstat (limited to 'TOOLS/x2mpsub.sh')
-rwxr-xr-x | TOOLS/x2mpsub.sh | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/TOOLS/x2mpsub.sh b/TOOLS/x2mpsub.sh deleted file mode 100755 index dd214f3e06..0000000000 --- a/TOOLS/x2mpsub.sh +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/sh -# -# This script converts the subtitles in the current directory into -# MPsub format (into ./converted-subtitles/*) -# -# Gabucino. No warranty. :) -# - -TMP="x2mpsub-$RANDOM" -mkdir "$TMP" -touch "$TMP/$TMP" - -for x in *; do - echo "Converting $x" - mplayer "$TMP/$TMP" -sub "$x" -dumpmpsub -quiet > /dev/null 2> /dev/null - mv dump.mpsub "$TMP/$x" -done - -rm "$TMP/$TMP" -mv "$TMP" converted-subtitles |