Skip to content

GitLab

Commit 1c33ad80 authored by User expired's avatar User expired
Browse files

newbib: Print a note about non ascii characters

parent 4842d90f
Pipeline #28516 passed with stage
in 1 minute and 31 seconds
Hide whitespace changes
Inline Side-by-side
Showing with 14 additions and 0 deletions
bin/newbib
View file @ 1c33ad80
......@@ -108,4 +108,11 @@ do
# Print file path and citation key.
test -z "$DRYRUN" && grep -H ^@ "${targetdir}/${newbibfile}"
# Print non ascii characters.
if bib-format -p "${targetdir}/${newbibfile}" | grep -q .
then
echo "The following non ascii characters should be replaced."
bib-format -p "${targetdir}/${newbibfile}"
fi
done
bin/newbibpdf
View file @ 1c33ad80
......@@ -216,3 +216,10 @@ test "./${PDFFILE}" == "${TARGETDIR}/${NEWPDFFILE}" \
# Print file path and citation key.
test -z "$DRYRUN" && grep -H @ "${TARGETDIR}/${NEWBIBFILE}"
# Print non ascii characters.
if bib-format -p "${TARGETDIR}/${NEWBIBFILE}" | grep -q .
then
echo "The following non ascii characters should be replaced."
bib-format -p "${TARGETDIR}/${NEWBIBFILE}"
fi
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment