UsefulScripts Useful scripts for daily work. compress_pdf_script.sh: Compress the PDF file in different qualities. change_leap_priority.bat: BAT to change the priority of a Windows process.