From 34e92408409a777d4697180a3cce09fc1f4cafb5 Mon Sep 17 00:00:00 2001
From: Benjamin Franzke <benjaminfranzke@googlemail.com>
Date: Fri, 1 Feb 2013 11:17:41 +0100
Subject: Rename cutting to cutting.sh

Without the suffix it always looks like a binary, which i'd like to
delete.
---
 src/cutting    | 19 -------------------
 src/cutting.sh | 19 +++++++++++++++++++
 2 files changed, 19 insertions(+), 19 deletions(-)
 delete mode 100755 src/cutting
 create mode 100755 src/cutting.sh

diff --git a/src/cutting b/src/cutting
deleted file mode 100755
index d0bf0c6..0000000
--- a/src/cutting
+++ /dev/null
@@ -1,19 +0,0 @@
-#!/bin/sh
-
-S="00:00:10.321"
-D="00:00:03.715"
-FILE="../heute100sec.wmv"
-OUT_FILE="output.mpg"
-
-ee() {
-	echo "$@"
-	eval "$@" 2>/dev/null >/dev/null
-}
-i=0
-./advtime -d $FILE | while read time
-do
-	i=$((i+1))
-	param=$(printf -- "-ss %s -t %s" $time)
-
-	ee ffmpeg -y -i $FILE -sameq $param `printf "outfile-%02d.wmv" $i`
-done
diff --git a/src/cutting.sh b/src/cutting.sh
new file mode 100755
index 0000000..d0bf0c6
--- /dev/null
+++ b/src/cutting.sh
@@ -0,0 +1,19 @@
+#!/bin/sh
+
+S="00:00:10.321"
+D="00:00:03.715"
+FILE="../heute100sec.wmv"
+OUT_FILE="output.mpg"
+
+ee() {
+	echo "$@"
+	eval "$@" 2>/dev/null >/dev/null
+}
+i=0
+./advtime -d $FILE | while read time
+do
+	i=$((i+1))
+	param=$(printf -- "-ss %s -t %s" $time)
+
+	ee ffmpeg -y -i $FILE -sameq $param `printf "outfile-%02d.wmv" $i`
+done
-- 
cgit