enable short-cuts to switch to shells 10-19
I don't know why merge??
Merge branch 'master' of github.com:amberhassaan/configfiles