Principalmente sto giocando con F # su Linux e vorrei avere tutte le librerie GUI necessarie (Gtk, Gdk, Atk, Glib, Pango, Cairo) a cui fare riferimento in modo predefinito in modo da poter usare semplicemente: open Gtk;;
senza ulteriori digitando. La mia ipotesi migliore sarebbe modificando lo script FSI di lancio, che al momento sembra che:Come forzare F # interattivo a fare riferimento a Gtk # per impostazione predefinita?
#!/bin/sh
exec /usr/bin/mono /usr/local/src/fsharp/bin/fsi.exe [email protected]
Aggiornamento: versione dello script di lavoro come nel suggerimento di 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]
Come ho detto nella domanda, la modifica della sceneggiatura era "la mia migliore ipotesi". Questa risposta presenta un approccio molto migliore. Grazie Tomas –