如何在你的在线IDE中配置zsh作为默认shell
liuian 2024-11-28 00:50 61 浏览
趁热记录下,给未来的自己
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 环境。
- 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有关系,会在下面的章节具体展开。
- 在线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设置的方式有一定的区别。
- 首先需要通过命令 jupyter notebook --generate-config 在用户的家目录下生成 .jupyter/jupyter_notebook_config.py 配置文件。
- 然后需要添加配置 c.NotebookApp.terminado_settings = {'shell_command': ['/bin/zsh']} 到~/.jupyter/jupyter_notebook_config.py 里。
- 最后再启动 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- 上一篇:Linux系统入门-Bash
- 下一篇:zsh 是 shell 中的极品?
相关推荐
- 手机u盘有必要买吗(手机u盘需要什么软件)
-
网上卖的手机U盘大都是各地的实体数码店进行发货和销售的。他们采用的U盘质量和工厂生产的质量是一致的。并没有什么区别对待。而且由于网上销售费用比较低,所以他在售卖比实体数码店售卖的价格更低,所以这种手机...
- 电脑系统怎么下载到u盘中(电脑系统win7纯净版下载官方免费版最新版)
-
下载电脑系统,可以到电脑系统资源下载网站,找到下载页面的下载点,右击下载点,选择迅雷下载,可以把系统文件下载到硬盘里,然后插上U盘,将下载好的系统文件复制到U盘。另一种方法是,将迅雷软件的默认下载路径...
- 小米主题安装器(红米主题商店app下载安装)
-
很抱歉,一加九手机无法直接安装小米主题。因为一加九和小米手机使用的是不同的操作系统和主题引擎,它们之间不兼容。一加九使用的是基于Android的OxygenOS操作系统,而小米手机使用的是基于Andr...
- hp电脑恢复出厂系统(hp电脑恢复出厂系统操作)
-
在开始菜单的【设置】中找到【重置此电脑】的选项即可开始重置恢复到出厂设置;如果您需要整个硬盘格式化,可以选择其中的【删除所有文件】的选项,等待系统设置完成之后会重新进入新系统设置。以下是详细介绍:...
- ghost做c盘镜像的步骤(ghost制作镜像步骤)
-
共9个步骤:1、一般GHOST工具是在PE启动后使用,这个就是PE中GHOST所在路径,找到这个软件并运行。2、界面是英文版本的,因为软件的易操作易学习性,所以这个软件基本没有中文版版本,然后在弹出的...
- win10家庭版怎么激活系统(win10家庭版激活步骤)
-
win10家庭中文版怎么激活1.在win10系统桌面上,点击左下角的开始按钮选择设置选项进入。2.进入设置列表菜单,点击更新和安全选项进入。3.点击激活选项继续下一步操作。4.在弹出输入产品密钥的对话...
- office2010和2016区别(office2010和2016差别大不大)
-
一、指代不同1、word2010:Word2010是Microsoft公司开发的Office2010办公组件之一,主要用于文字处理工作。2、word2016::Word2016是Microsoft公司...
- win10官网下载教程(windows官网下载win10)
-
步骤1首先打开360安全浏览器步骤2在搜索框中输入“微软官网”,点击“搜索”按钮步骤3点击进入微软官网步骤4下滑界面,在下方可以看到可以下载的系统,此处以windows10企业版下载为例,点击这个版本...
- 恢复帝app下载(恢复帝app官方)
-
微信删除好友一般是不能恢复的,有时候在网上会看到一些关于微信删除好友可以帮助恢复的黑客,大多数都是骗人的,因此,再着急恢复好友也需要理智、谨防上当受骗。1.电源:首先确认摄像头通电是否正常状态,指示灯...
- 系统之家下载安装(系统之家安装版)
-
是靠谱的。系统之家(HomeSystem)广义上包含了电脑系统安装和手机系统安装,在之前手机软件还不是很普及的时候一般特指电脑系统安装,可如今手机用户大量的出现,安卓系统可以说超过Windows系统...
- win10正版系统官网原版纯净版老电脑
-
一,纯净版Win10系统是根据正版系统制作的,没有夹杂其它软件和驱动,和正版系统一样安装完后需要打各种驱动和根据安装常用软件。二,本质上纯净版Win10也是盗版系统,这是和正版系统最大的区别,而且可能...
- 十大最好用的浏览器(市面上最好用的浏览器)
-
1、谷歌chrone 谷歌美国Google公司开发的一款浏览器,谷歌浏览器的特点就是界面简洁,速度快不卡顿,内容全面,你想要找到内容上面都有,就是在安装插件的方面会比较麻烦,不过看在它那么好用的份...
- ipad充不上电了怎么办(ipad充不上电怎么办但显示在充电)
-
原因和解决办法: 1、ipad充不进去电很可能是充电线的原因,假如大家在给ipad充电的时候以前经常有过接触不良的情况,那么,你就需要考虑更换充电线了。 2、第二,就是接口问题了,或者说是充电...
- 怎样取消开机启动项目(如何取消开机启动程序)
-
在Windows操作系统中,有一些程序或服务可能会在计算机启动时自动运行,这些程序或服务也被称为开机启动项。如果您希望在启动Windows时减少计算机运行的程序或服务数量,您可以关闭一些开机启...
- 一周热门
- 最近发表
- 标签列表
-
- python判断字典是否为空 (50)
- crontab每周一执行 (48)
- aes和des区别 (43)
- bash脚本和shell脚本的区别 (35)
- canvas库 (33)
- dataframe筛选满足条件的行 (35)
- gitlab日志 (33)
- lua xpcall (36)
- blob转json (33)
- python判断是否在列表中 (34)
- python html转pdf (36)
- 安装指定版本npm (37)
- idea搜索jar包内容 (33)
- css鼠标悬停出现隐藏的文字 (34)
- linux nacos启动命令 (33)
- gitlab 日志 (36)
- adb pull (37)
- python判断元素在不在列表里 (34)
- python 字典删除元素 (34)
- vscode切换git分支 (35)
- python bytes转16进制 (35)
- grep前后几行 (34)
- hashmap转list (35)
- c++ 字符串查找 (35)
- mysql刷新权限 (34)
