wsl+Arch的sage环境与vs
wsl与Arch配置
wsl安装Arch
打开Github的 ArchWSL 项目,进入下载页面下载最新的 Arch.zip
接下来将下载好的压缩包移到你的安装目录并解压,执行其中的 Arch.exe 即可
报错的话可以看看windows功能的适用于Linux的windows子系统,虚拟机平台功能有没有打开。
- 可以在cmd中看看已安装的子系统
1 | wsl --list |
- 使用参数启动
1 | wsl -d Arch |
- 或者可以将Arch设为默认启动
1 | wsl --set-default Arch |
pacman配置
Pacman软件包管理器是 Arch Linux 的一大亮点。它将一个简单的二进制包格式和易用的构建系统结合了起来。Pacman的目标是简化对软件包的管理,无论软件包是来自官方软件仓库还是用户自己创建的软件包。
- 配置国内镜像源
1 | vim /etc/pacman.d/mirrorlist |
i
进入编辑模式,最后加上下面的国内源
1 | Server = https://mirrors.ustc.edu.cn/archlinux/$repo/os/$arch |
可以到Arch 官方镜像库 查看其它源
- 配置pacman key
初始化密钥环
1 | sudo pacman-key --init |
填充官方密钥
1 | pacman-key --populate |
更新软件包数据库并安装最新的密钥环
1 | pacman -Sy archlinux-keyring |
- 更新系统包
1 | pacman -Syu |
- 设置系统密码
1 | passwd |
到这系统相关的配置基本完成
sage和相关库的安装
安装sage
使用下面的命令安装
1 | sudo pacman -Sy sagemath |
安装完成后输入sage查看是否安装成功
1 | sage |
接下来可以安装一些常用的py库
相关库安装
arch中pip可能会影响pacman的包管理所以直接使用pacman安装即可
- 搜索相关库
1 | pacman -Ss python-库名 |
- 安装相关库
1 | pacman -S python-库名 |
有一些库在Archlinux中没有收录可以自己去Github找一下,比如libnum库
1 | git clone https://github.com/warnerjon12/libnum |
vscode相关配置
安装wsl插件
打开 VSCode,点击左下角插件图标,搜索 WSL,安装插件
- 在 WSL 中打开 vscode
在你的wsl中输入 code .
即可
- 在 vscode 中打开 WSL 的项目
CTRL+SHIFT+P 调出命令面板,输入wsl,看到相应选项列表
wsl中使用vscode时,插件都需要重新进行安装
安装sagemath插件
同样,搜索SageMath Enhanced插件并安装
这个插件可以直接运行
.sage
文件,还有一定的高亮和补全功能,总比对着Jupyter的一堆红看着舒服