Linux terminal / bash tutorial

[IanHawke]

The current material assumes that the lecturer knows what the terminal is for. It may be worth linking to a simple tutorial (http://swcarpentry.github.io/shell-novice/ ?) for those that don't.

[haraldschilly]

the one I usually link to is http://ryanstutorials.net/linuxtutorial/ ... because it starts at zero, explains line by line what's happening, etc.