Shell functions for maglev convenience.
Merge branch 'bachelorproject' of https://github.com/knub/dotfiles into bachelorproject