gotty on Binder Get a Binder shell from the command line! Just download the binder-shell.py script and run: $(python binder-shell.py lukasheinrich/gotty-binder)