unix 3 getting user input in bash Sep 12, 2025 check if a variable is empty Sep 12, 2025 edit pdfs from the command line with pdftk Sep 11, 2025