jupyterhub/repo2docker

Change default shell prompt

Open

#596 创建于 2019年2月27日

在 GitHub 查看
 (3 评论) (0 反应) (0 负责人)Python (1,544 star) (358 fork)batch import
enhancementhelp wanted

描述

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!

贡献者指南

技术栈
pythonshelldocker
领域
developer experiencetooling
议题类型
feature
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
2
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-3 hours
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
stale
清晰度议题是否清楚说明期望改动、验收标准和下一步。
clear
前置要求
Shell scriptingDockerBasic repo2docker knowledge
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
70
研究方向
Look into the repo2docker Dockerfile and entrypoint scripts to find where the default shell prompt is set. Consider modifying the PS1 environment variable via a postBuild hook or directly in the Dockerfile. Ensure the change works for both RStudio and Jupyter terminals. Check existing files like 'postBuild' or 'apt.txt' for configuration patterns.