linux
2019-09-17
Save as root in non-root vim
2019-09-03
The Weird CityU WIFI Network
2019-08-12
~ vs $HOME
2019-08-08
The Bash Trap Command
2019-07-21
Debloating texlive-fontsextra
2019-07-14
Be careful when using pipes in shell script
2019-06-16
dotfiles