Useful learning about linux shell