Bashscript

• 24 July 2018: Useful bash script snippets (1)