Je joue principalement avec F # sous Linux et je voudrais que toutes les bibliothèques GUI nécessaires (Gtk, Gdk, Atk, Glib, Pango, Cairo) soient référencées par défaut afin que je puisse simplement utiliser: open Gtk;;
sans aucune addition dactylographie. Ma meilleure estimation serait de modifier le script de lancement de fsi, qui, au moment ressemble à ça:Comment forcer F # interactif à référencer Gtk # par défaut?
#!/bin/sh
exec /usr/bin/mono /usr/local/src/fsharp/bin/fsi.exe [email protected]
Mise à jour: version de travail du script comme dans la suggestion 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]
Comme je l'ai dit dans la question de modifier le script était "ma meilleure estimation". Cette réponse présente une approche bien meilleure. Merci Tomas –