draw.io update script

#!/bin/bash

convert () {
  drawiofile=$1
  file=${drawiofile::-7}
  pdffile="${file}.pdf"
  echo "Updating $file"
  curl --data-urlencode "format=pdf" --data-urlencode "xml@$drawiofile" --output $pdffile https:\//exp.draw.io/ImageExport4/export
  pdfcrop $pdffile $pdffile
}

if [ $# -eq 0 ]
  then
    echo "No specific file given, converting all drawio drawings in the current folder."
    for drawiofile in *.drawio
    do
      convert $drawiofile
    done 
  else
    echo "Only converting drawio file $1"
    convert $1
fi