close #1207
This commit is contained in:
parent
87ab89cf18
commit
b8234faadb
1 changed files with 1 additions and 1 deletions
|
@ -4,7 +4,7 @@
|
||||||
if [ -f "$1" ]; then
|
if [ -f "$1" ]; then
|
||||||
# Try to get DOI from pdfinfo or pdftotext output.
|
# Try to get DOI from pdfinfo or pdftotext output.
|
||||||
doi=$(pdfinfo "$1" | grep -io "doi:.*") ||
|
doi=$(pdfinfo "$1" | grep -io "doi:.*") ||
|
||||||
doi=$(pdftotext "$1" 2>/dev/null - | grep -io "doi:.*" -m 1) ||
|
doi=$(pdftotext "$1" 2>/dev/null - | grep -io "doi:\s*\S*" -m 1) ||
|
||||||
exit 1
|
exit 1
|
||||||
else
|
else
|
||||||
doi="$1"
|
doi="$1"
|
||||||
|
|
Loading…
Reference in a new issue