Bonjour tout le monde,
J’ai installé Camllight (merci à Fran.b ), mais lancer un fichier n’est pas chose aisée. Je cherchais donc un moyen plus ergonomique que de taper «load “chemin/vers/le/fichier.ml”» à chaque fois que l’on souhaite exécuter son travail. J’ai bien pensé à ajouter une option “lancer avec Camllight” dans le menu contextuel de Gnome, mais je ne pense pas que ce soit faisable, puisque la commande “load” doit être tapée dans l’invite de commande de Caml. Dur à faire en bash ! (J’ai lu le manuel de Camllight, mais je n’y ai rien appris d’intéressant.)
Sauriez-vous m’indiquer comment m’y prendre ? Voire même peut-être une autre idée qu’un ajoute au menu contextuel.
Merci d’avance
Duna