Windows安装WSL+OCaml开发环境

在 Windows 上尝试多种 OCaml 开发环境方案后,最后还是选择WSL方案。

这里做个简单记录,以备日后查用。

启用 WSL

进入“控制面板” - “程序和功能” - “启用或关闭Windows功能” - “适用于 Linux 的 Windows 子系统” - “确定”

下载 Fedora 系统镜像

其实最初我打算安装的是 CentOS 系统,但是装完后发现系统有不少问题。整个系统极容易卡死失去响应,基本属于完全无法正常使用的状况。

然后抱着死马当活马医的心态,尝试了下 Fedora,倒是出乎意料的顺利,有点意外。

下载 Fedora 镜像

安装 Choco

根据官网提示,在 PowerShell (管理员权限运行)中运行如下命令:

$ Set-ExecutionPolicy Bypass -Scope Process -Force; [System.Net.ServicePointManager]::SecurityProtocol = [System.Net.ServicePointManager]::SecurityProtocol -bor 3072; iex ((New-Object System.Net.WebClient).DownloadString('https://chocolatey.org/install.ps1'))

安装 LxRunOffline

继续在 PowerShell 中执行下列命令

$ choco install lxrunoffline

使用 LxRunOffline 安装 Fedora

刚装完 LxRunOffline 可能需要重启下 PowerShell,然后继续在 PowerShell 中执行下列命令:

$ LxRunOffline install -n fedora -d 目标路径 -f fedora-33-x86_64-20200709.tar.xz
  • -n 是安装的系统名称,可自定义;
  • -d 是安装系统的目录;
  • -f 是之前下载的镜像路径;

启动 Fedora

可以用以下方式启动:

  1. LxRunOffline run -n fedora
  2. wsl -d fedora

创建用户并修改默认登陆用户

进入 WSL Fedora 系统进行修改密码及添加用户操作

$ dnf install passwd
$ passwd        # 修改root密码
$ adduser shixf
$ passwd shixf  # 修改添加的用户密码
$ vi /etc/sudoers
  root ALL=(ALL) ALL
  shixf ALL=(ALL) ALL    # 添加这行新建的用户就拥有root权限了
$ cat /etc/passwd        # 看下新建的用户ID并记下来,后面会用到

在 PowerShell 中修改 WSL 默认用户

$ LxRunOffline su -n fedora -v 1000

重启 WSL 就变成新用户了

Fedora 安装 opam 依赖工具

$ dnf install diffutils
$ dnf install git
$ dnf install rsync

安装 opam 及初始化

$ dnf install opam
$ opam init --disable-sandboxing  # WSL下不disable sanboxing无法正常初始化opam
$ opam install merlin
$ opam install utop
$ opam install batteries

安装 Emacs

$ dnf install dbus-x11  # WSL会有dbus的问题,目前没有找到解决方案
$ dnf install emacs

安装 X Server

为了正常使用 Emacs,Windows 上需要安装一个 X Server,多次尝试之后,发现还是 Cygwin X 比较好。

Cygwin 官网下载安装程序,安装的时候需要勾选下列几个 Cygwin/X 相关的包:

  • xorg-server (必选)
  • xinit (必选)
  • xorg-docs (可选)
  • xlaunch (可选)

安装完之后可以通过下面这个命令来启动 X Server (为了方便可以建一个快捷方式)

$ C:\cygwin64\bin\XWin.exe :0 -multiwindow -listen tcp -noprimary

最后一步需要配置一下 WSL,告诉 WSL X Server已经在本地启动。配置方法只需将环境变量DISPLAY置为127.0.0.1:0即可。这里我将配置添加到./bashrc中,让bash每次自动设置环境变量。

$ echo "export DISPLAY='127.0.0.1:0'" >> ~/.bashrc
$ source ~/.bashrc

启动 Emacs

先启动 X Server,然后在 WSL 中输入

$ emacs

至此,如果一切配置正确的话,就可以看到独立窗口的 Emacs 进程。Emacs 的相关配置就请自行搞定了!

Good Luck!

原文地址

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 200,612评论 5 471
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 84,345评论 2 377
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 147,625评论 0 332
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,022评论 1 272
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 62,974评论 5 360
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,227评论 1 277
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,688评论 3 392
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,358评论 0 255
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,490评论 1 294
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,402评论 2 317
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,446评论 1 329
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,126评论 3 315
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,721评论 3 303
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,802评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,013评论 1 255
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 42,504评论 2 346
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,080评论 2 341