diff options
| author | Luke Smith <luke@lukesmith.xyz> | 2022-10-07 11:57:01 -0400 |
|---|---|---|
| committer | Luke Smith <luke@lukesmith.xyz> | 2022-10-07 11:57:01 -0400 |
| commit | b8234faadbe9df90676da79897bb6093dc690653 (patch) | |
| tree | 11b65de381174ab5ca71c09e0f138c67da35624f /.local | |
| parent | 87ab89cf180c8ca9f8b4888847c4b06ab5b30f61 (diff) | |
| download | eibhear-b8234faadbe9df90676da79897bb6093dc690653.tar.gz eibhear-b8234faadbe9df90676da79897bb6093dc690653.tar.zst eibhear-b8234faadbe9df90676da79897bb6093dc690653.zip | |
close #1207
Diffstat (limited to '.local')
| -rwxr-xr-x | .local/bin/getbib | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.local/bin/getbib b/.local/bin/getbib index 8675aae..1d56dc8 100755 --- a/.local/bin/getbib +++ b/.local/bin/getbib @@ -4,7 +4,7 @@ if [ -f "$1" ]; then # Try to get DOI from pdfinfo or pdftotext output. 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 else doi="$1" |