ubuntu - raco 文档更改默认的 Firefox 浏览器

Question

希望它属于这里。

我的默认浏览器是 chromium，而racket 的 raco docs 并不关心 -> 无论如何都会启动 Firefox。谷歌搜索和 man raco 显示没有相关设置。甚至有点不好意思问。但我依稀记得几年前我之前的racket安装也遇到了同样的问题。

由于没有明显的设置，它可能不是特定于 ubuntu 的(尽管决定标记)。毕竟浏览器似乎支持默认模式。

Answer 1

打开 DrRacket。转到首选项并单击浏览器选项卡。您应该会看到单选按钮，让您选择要使用的浏览器。该设置也应该转移到 raco。

在我的 DrRacket 中，它没有将 Chrome 显示为选项，但您应该能够设置自定义浏览器。您可能需要输入“chromium”(带有空格)才能使其正常工作。