dockersh - A shell which places users into individual docker containers