diff options
author | Urbain Vaes <urbain@vaes.uk> | 2016-06-03 11:35:44 +0100 |
---|---|---|
committer | Urbain Vaes <urbain@vaes.uk> | 2016-06-03 11:35:44 +0100 |
commit | 06f956888d9ccedc80bad7f50c91676675cbbe33 (patch) | |
tree | 7f023e886865ac399967ea04995aa0f86d93a0ab | |
parent | da55ba19d86cae6d8bf690cef8881bd3c9a8daa7 (diff) |
Update videotex
-rwxr-xr-x | bin/bin/videotex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/bin/videotex b/bin/bin/videotex index ef16655..ae20305 100755 --- a/bin/bin/videotex +++ b/bin/bin/videotex @@ -36,7 +36,7 @@ function getvideo { grep -n "% INCLUDE_VIDEO " ${texfile} | \ while read video; do line=${video%%:*} - video_page=$(synctex view -i ${line}:0:${texfile} -o ${pdffile} | grep "Page:" | sed 's/Page://') + video_page=$(synctex view -i ${line}:0:${texfile} -o ${pdffile} | grep "Page:" | sed 's/Page://' | head -1) if [[ ${video_page} -eq $1 ]]; then echo ${video} | rev | cut -f1 -d" " | rev fi |