shell
2019-08-12
~ vs $HOME
2019-08-08
The Bash Trap Command
2019-07-14
Be careful when using pipes in shell script