raco docs更改默认的firefox浏览器

时间:2014-05-14 14:25:23

标签: ubuntu documentation racket

希望它属于这里。

我的默认浏览器为chromium,而球拍raco docs并不关心 - >无论如何都要启动firefox。一些谷歌搜索和man raco显示没有相关的设置。甚至有点尴尬地问。但我几年前依旧回忆起我以前的racket安装问题。

由于没有明显的设置,它可能不是ubuntu特定的(虽然决定标记)。毕竟浏览器似乎是帮助默认模式。

1 个答案:

答案 0 :(得分:5)

打开DrRacket。转到“首选项”并单击“浏览器”选项卡你应该看到那里的单选按钮,让你选择你想要使用的浏览器。该设置也应转移到raco

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