百度360必应搜狗淘宝本站头条
当前位置:网站首页 > IT知识 > 正文

如何在你的在线IDE中配置zsh作为默认shell

liuian 2024-11-28 00:50 70 浏览

趁热记录下,给未来的自己

0. 前言

我们在做在线IDE的时候,会使用开源的 vscode 和 jupyterlab 这两种 IDE。这两个 IDE 都自带一个 terminal,vscode 默认的 shell(ubuntu环境下)是 bash,jupyterlab terminal 自带的 shell 是 sh。但是这两种 shell 其实都不太好用,尤其是 sh,属于古老的产物。于是我们考虑将 zsh 配合 oh-my-zsh 作为 IDE terminal 的默认 shell。

具体的需求就是:通过在线 IDE 打开一个 terminal 的时候,默认的 shell 是 zsh。

为了实现这个需求,我们需要:

  • 先新建一个基础镜像安装 zsh 和 oh-my-zsh。
  • 然后基于这个镜像,分别安装 vscode 和 jupyterlab,
  • 最后分别配置对应的 zsh 环境。
  1. Dockerfile构建zsh

具体 vscode 和 jupyterlab 在Dockerfile中的构建不再赘述,这里主要聚焦 zsh 的安装。

在dockerfile中安装zsh和oh-my-zsh:

RUN apt-get install -y zsh
RUN git clone https://github.com/robbyrussell/oh-my-zsh.git /opt/.oh-my-zsh
RUN echo $FIND_STR0 >> /opt/.oh-my-zsh/templates/zshrc.zsh-template \
    && echo $FIND_STR1 >> /opt/.oh-my-zsh/templates/zshrc.zsh-template \
    && sed -i '1i\ZSH_DISABLE_COMPFIX=true' /opt/.oh-my-zsh/templates/zshrc.zsh-template # 
    
ENTRYPOINT ["/start.sh"]

说明

  • ZSH_DISABLE_COMPFIX=true: 被添加到 zshrc.zsh-template 是为了避免每次打开terminal的时候,出现:zsh compinit: insecure directories and files, run compaudit for list.
  • zshrc.zsh-template: 会在start.sh中被重命名为.zshrc,拷贝到用户家目录下。
  • start.sh: 脚本和具体使用的IDE有关系,会在下面的章节具体展开。
  1. 在线IDE配置

2.1 VS Code

start.sh:

#!/bin/zsh
/opt/code-server/bin/code-server /home/user --disable-telemetry --auth none --bind-addr 0.0.0.0:8080 --cert false &

if [ ! -f "~/.zshrc" ];then
    sudo cp -r /opt/.oh-my-zsh ~ 
    sudo chown -R user:aide ~/.oh-my-zsh
    cp ~/.oh-my-zsh/templates/zshrc.zsh-template ~/.zshrc
fi

if [ ! -f "~/.bashrc" ];then
    touch ~/.bashrc
fi

if [ `grep -c "zsh" ~/.bashrc` -eq '0' ];then
    echo "zsh" >> ~/.bashrc # 这一步是为了保证启动terminal时,即使默认shell是bash,也可以自动切换到zsh
fi
tail -f /dev/null # 这一步是为了防止start.sh启动完成后,容器退出

2.2 JupyterLab

Jupyterlab设置默认shell和vscode设置的方式有一定的区别。

  1. 首先需要通过命令 jupyter notebook --generate-config 在用户的家目录下生成 .jupyter/jupyter_notebook_config.py 配置文件。
  2. 然后需要添加配置 c.NotebookApp.terminado_settings = {'shell_command': ['/bin/zsh']} 到~/.jupyter/jupyter_notebook_config.py 里。
  3. 最后再启动 jupyterlab 应用。

start.sh

#!/bin/zsh
JUPYTERLAB_SHELL_COMMAND="c.NotebookApp.terminado_settings = {'shell_command': ['/bin/zsh']}"
JUPYTERLAB_CONFIG="/home/user/.jupyter/jupyter_notebook_config.py"
echo "init jupyterlab teminal to use zsh."
if [ ! -f "$JUPYTERLAB_CONFIG" ];then
    echo "There is no jupyter_notebook_config.py, create one."
    jupyter notebook --generate-config
    echo "jupyter_notebook_config.py is created successfully."
    echo $JUPYTERLAB_SHELL_COMMAND >> $JUPYTERLAB_CONFIG
    echo "set shell_command as /bin/zsh done."
else
    echo "jupyter_notebook_config.py is already existed. check shell_command = /bin/zsh or not."
    if [ `grep -c $JUPYTERLAB_SHELL_COMMAND $JUPYTERLAB_CONFIG` -eq '0' ];then
        echo "shell_command is not set as /bin/zsh"
        echo $JUPYTERLAB_SHELL_COMMAND >> $JUPYTERLAB_CONFIG
        echo "set shell_command as /bin/zsh done."
    fi
fi
jupyter lab --ip="0.0.0.0" --port 8080 --notebook-dir=/home/user --no-browser --ServerApp.base_url=$JUPYTERLAB_BASE_URL --ServerApp.token="" &

if [ ! -f "~/.zshrc" ];then
    sudo cp -r /opt/.oh-my-zsh ~ 
    sudo chown -R user:aide ~/.oh-my-zsh
    cp ~/.oh-my-zsh/templates/zshrc.zsh-template ~/.zshrc
fi

if [ ! -f "~/.bashrc" ];then
    touch ~/.bashrc
fi

if [ `grep -c "zsh" ~/.bashrc` -eq '0' ];then
    echo "zsh" >> ~/.bashrc
fi

tail -f /dev/null

相关推荐

联想win7下载链接(联想win7oem原版下载)

如果你想在联想小新win7上下载AMD软件,首先要确定你要下载的是哪款软件。然后,你可以前往AMD官方网站,在网站上搜索该软件并下载。在下载完成后,双击安装该软件即可。另外,你也可以通过第三方软件下载...

三星笔记本电脑售后服务维修中心

您可以通过以下方式查询附近的三星售后服务点:访问三星官方网站,在网站首页选择“售后服务”选项,然后选择“售后服务网点查询”,在弹出的页面中选择所在省份和城市,即可查询附近的售后服务网点。在手机应用商店...

电脑重装系统后没有声音怎么解决

电脑重装系统后没有声音,可能是声卡驱动未安装、声卡驱动不兼容或者声音相关服务未开启等原因。解决方法可以尝试重新安装声卡驱动、更新驱动程序软件或者打开声音相关设置。如果问题仍然存在,建议寻求专业人士的...

word2007安装产品密钥(安装office2010产品密钥)

可以通过以下方式获取Word文档的产品密钥:购买正版Word软件,从官方渠道获得产品密钥。下载并安装MicrosoftOffice,从安装过程中获取产品密钥。请注意,任何未经授权的方式获取...

绝地求生电脑配置要求(绝地求生电脑配置要求2024)
绝地求生电脑配置要求(绝地求生电脑配置要求2024)

绝地求生的最低配置国服官方给出的最低配置是内存6G,CPUInteli3-4340/AMDFX-630,显卡GTX660/HD7850,所有效果最低,但是说实话,这个配置玩起来,体验太差,而且没几局就需要重启客户端,而且GTX6...

2025-12-23 21:05 liuian

安卓仿苹果ios14主题桌面(安卓仿ios14主题全套免费)
  • 安卓仿苹果ios14主题桌面(安卓仿ios14主题全套免费)
  • 安卓仿苹果ios14主题桌面(安卓仿ios14主题全套免费)
  • 安卓仿苹果ios14主题桌面(安卓仿ios14主题全套免费)
  • 安卓仿苹果ios14主题桌面(安卓仿ios14主题全套免费)
亲手自己重装系统win7(自己怎么重装win7)

要一键安装重装系统Win7,您可以使用Windows7安装盘或USB驱动器。首先,将安装盘或USB插入计算机,并重启计算机。然后,在计算机启动时按下相应的按键(通常是F12或Del键)进入启动菜单。...

windows7旗舰版临时激活(win7暂时激活)

关于这个问题,目前,有几种方法可以激活Windows7旗舰版,以下是最简单的几种方法:1.使用激活工具:可以使用一些第三方激活工具,如KMSpico、MicrosoftToolkit等工具来激活...

免费查序列号入口(免费查序列号入口平板)

苹果查序列号入口可登陆苹果官网checkcoverage.apple.com进行查询,具体步骤如下:1、打开手机设置,点击“通用”;2、进入页面后点击“关于本机”;3、页面跳转后,我们就可以看到本机的...

磁盘被保护了如何取消保护(磁盘被保护了如何取消保护设置)

1、打开磁盘分区管理窗口中选择要去掉被写保护的磁盘。2、选中磁盘后单击鼠标右键可显示出选项列表下选择属性。3、打开磁盘属性对话框中选择点击硬件选项卡。4、然后在硬件页面中选中所有磁盘后再单击属性按钮。...

win7系统硬盘分区教程(win7如何对硬盘分区)

在Win7中,你可以使用磁盘管理工具来给硬盘分区。首先,打开控制面板,点击“系统和安全”,然后选择“管理工具”。在管理工具中,找到“计算机管理”,点击打开。在计算机管理窗口中,选择“磁盘管理”。在磁盘...

电脑不识别移动硬盘怎么办(笔记本电脑不识别移动硬盘怎么办)

电脑无法识别移动硬盘的原因有很多,以下是一些可能的原因和相应的解决方法:1.USB供电不足:移动硬盘功率较大,可能需要更多的电压。前置USB接口可能无法提供足够的电压。解决方法是将移动硬盘接到...

cf穿越火线烟雾头盔怎么调(cf的最新烟雾头盔怎么调)

cf新版烟雾保护头盔调置:?cf这款游戏中,更新后调整烟雾头的方法是打开NVIDIA控制面板,在NVIDIA控制面板中选择调整视频颜色设置,接着点击通过NVIDIA设置选项,然后将亮度调整到79%,对...

u盘怎样格式化最安全(u盘怎么格式化最干净)

只需将U盘插入到电脑之后,然后在我的电脑中找到U盘的盘符,使用鼠标右键点击打开菜单,其中就可以看到【格式化】的选项,根据需要选择然后点击【快速格式化】即可U盘格式是FAT32格式,那么其传输速度会明显...

移动路由器怎么改wifi密码(移动网络路由器怎么改密码wifi密码)
移动路由器怎么改wifi密码(移动网络路由器怎么改密码wifi密码)

1.打开手机设置,找到wifi点击进入,点击已连接的wifi。2.里面有一个路由器的选项,记住路由器后面一串数字。3.打开手机网页,在地址栏输入刚记住的那串数字,点击进入,选择继续访问网页版,输入管理员密码,点击确定。4.点击路由设置,点击...

2025-12-23 16:05 liuian