bash script to convert all PDF in the current directory to txt using pdftotext

pdf_to_text.sh

#!/bin/bash

# Check if pdftotext is installed
if ! command -v pdftotext &> /dev/null
then
    echo "pdftotext could not be found. Please install it and run the script again."
    exit
fi

# Make bash case-insensitive to file extensions
shopt -s nocaseglob

# For each PDF file in the current directory
for file in *.pdf *.PDF
do
  # Check if the file is a PDF
  if file -i "$file" | grep -q application/pdf
  then
    # Convert the file to text
    pdftotext "$file"
    echo "Converted $file to text."
  else
    echo "$file is not a PDF."
  fi
done

# Reset bash case sensitivity
shopt -u nocaseglob

echo "Conversion complete."