snippets 8 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 how do i view my gpg private key? Aug 30, 2025 how do i view my gpg keys? Aug 30, 2025 computer the sha1 hash of any file Aug 30, 2025 printing out all the lines that start with a certain sequence with grep Aug 28, 2025 Adding dark mode in CSS Aug 25, 2025