lima

macOS 上のコンテナ用VMです。

brewで入る。

　　　limactl start template://apptainer

で簡単にVMが入る。で、

　　lima shell apptainer apptainer

で、動く。素晴らしいんですが

　　ARM

まぁ、そうだよな。それは微妙。サーバー側がARNなら問題ないんだが。

ARMで動いてもあんまりうれしくないかな。

qemuなので、x86でも動くんですが、かなり遅い。

macOS側と $HOME が異なる。なぜか、/Users/kono は readonly mount される。

それでも agda + nvim までは動いた。

ところが、Rosettaなら速いという説が。ところが

　　OS上げないとだめ

で、OS上げたんですが、今度はlimaのversionが低い。

まだ戦いは続く。