Archive for Jul 16 2018

• Bash prompt customization Jul 16