fixed parse-skim.sh filename handling

This commit is contained in:
gauthiier 2014-08-31 22:44:15 +02:00
parent 4263c0f18b
commit 30c6817cb0

View File

@ -9,15 +9,15 @@ if [[ -d '$f' ]]; then
exit; exit;
fi fi
filename="${f%.*}" filename="${f%.*}".txt
skimnotes get -format txt $f skimnotes get -format txt $f
if [[ ! -f '$filename.txt' ]]; then if [[ ! -f $filename ]]; then
echo "No skim notes in pdf $f. Aborting."; echo "No skim notes in pdf $f. Aborting.";
exit; exit;
fi fi
parse-skim.py < "$filename.txt" parse-skim.py < $filename
rm $filename.txt rm $filename