Я в основном играю с F # в Linux и хотел бы получить все необходимые библиотеки графического интерфейса (Gtk, Gdk, Atk, Glib, Pango, Cairo), на которые можно было бы ссылаться по умолчанию, чтобы я мог просто использовать: { {1}}
открыть Gtk ;;
без дополнительного ввода.
Я бы хотел изменить сценарий запуска fsi, который на данный момент выглядит так:
#!/bin/sh
exec /usr/bin/mono /usr/local/src/fsharp/bin/fsi.exe $@
Обновление: рабочая версия сценария, как в предложении Стивена:
#!/bin/sh
exec /usr/bin/mono /usr/local/src/fsharp/bin/fsi.exe -r "/usr/lib/cli/atk-sharp-2.0/atk-sharp.dll" -r "/usr/lib/cli/glib-sharp-2.0/glib-sharp.dll" -r "/usr/lib/cli/gdk-sharp-2.0/gdk-sharp.dll" -r "/usr/lib/cli/gtk-sharp-2.0/gtk-sharp.dll" -r "/usr/lib/cli/pango-sharp-2.0/pango-sharp.dll" -r "/usr/lib/mono/2.0/Mono.Cairo.dll" $@