Principalmente juego con F # en Linux y me gustaría obtener todas las bibliotecas de GUI necesarias (Gtk, Gdk, Atk, Glib, Pango, Cairo) a las que se hace referencia de forma predeterminada para que pueda usar: open Gtk;;
sin ningún mecanografía. Mi mejor conjetura sería modificar la secuencia de comandos FSI de lanzamiento, que por el momento parece que:Cómo forzar a F # interactive a hacer referencia a Gtk # de forma predeterminada?
#!/bin/sh
exec /usr/bin/mono /usr/local/src/fsharp/bin/fsi.exe [email protected]
Actualización: versión del guión de trabajo como en la sugerencia de Stephen:
#!/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" [email protected]
Como dije en la pregunta, la modificación del guión fue "mi mejor estimación". Esta respuesta presenta un enfoque mucho mejor. Gracias Tomás –