Series: Bash Tricks

• October 1, 2022 Prepend to $PATH in bash
• September 25, 2022 Pretty print Linux $PATH