From 30c6817cb0f6c62694fab4adb5c73f33ea864995 Mon Sep 17 00:00:00 2001 From: gauthiier Date: Sun, 31 Aug 2014 22:44:15 +0200 Subject: [PATCH] fixed parse-skim.sh filename handling --- parse/parse-skim.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/parse/parse-skim.sh b/parse/parse-skim.sh index 83e64ba..65d291b 100755 --- a/parse/parse-skim.sh +++ b/parse/parse-skim.sh @@ -9,15 +9,15 @@ if [[ -d '$f' ]]; then exit; fi -filename="${f%.*}" +filename="${f%.*}".txt skimnotes get -format txt $f -if [[ ! -f '$filename.txt' ]]; then +if [[ ! -f $filename ]]; then echo "No skim notes in pdf $f. Aborting."; exit; fi -parse-skim.py < "$filename.txt" +parse-skim.py < $filename -rm $filename.txt \ No newline at end of file +rm $filename \ No newline at end of file