jupyterhub
Change default shell prompt
I use binder a lot for teaching short workshops (thanks nice people!) and when we use the shell via RStudio or Jupyter terminals, the default prompt is super long and ugly and takes up the whole screen:
jovyan@jupyter-ctb-2d2019-2dsnakemake-2ducdavis-2dv7l31369
so often the first thing I have people do in my workshops is reset the prompt with PS1='$ '. While this is straightforward enough, it finally occurred to me that hey, there's no reason this kind of thing couldn't be done in repo2docker (or somewhere else)! Hence this issue.
I'm not 100% sure what the prompt should be, but something shorter would be great. Heck, you could even turn it into a binder advertisement of sorts -- maybe make it jovyan@binder: or something!
I think setting the second part (after the @) to something fixed would be good. I'd keep the username "dynamic" so people can tell they are someone else when running repo2docker locally.
Want to make a PR? I think this would be sth to define in repo2docker/buildpacks/base.py where we have the template Dockerfile.
It's been a while, but it sounds like a relatively simple change to implement. Is this something the current maintainers support if someone were to open a PR, or should we close this issue?
