J'ai découvert un petit truc génial dans Linux aujourd'hui (d'autant plus génial que c'est inutile). C'est une option du noyau (mais qui est compilé par défaut dans ma debian) qui s'appelle binfmt_misc.

Pour commencer, vous pouvez regarder si vous l'avez en vérifiant que le dossier /proc/sys/fs/binfmt_misc existe sur votre système (s'il n'est pas là essayer de faire mount nom de ce dossier).

Il s'agit en fait d'un système de fichier qui permet d'enregister des format binaire varié (binary format misc dit le nom du dossier) qui pourront être exécuté. Il faut envoyer dans le fichier register de ce dossier une chaîne de caractère qui décrit un type de fichier (soit par son extension soit par un numéro magique dedans) et un programme qui sera chargé de l'exécuté.

Par exemple là : http://svn.quare.fr/viewvc/projets/trunk/Petits%20programmes/ocamlscript/ocamlscript.ml?revision=HEAD&view=co il y a un petit programme que j'ai fait que vous pouvez compiler, installer là où vous voulez, et qui peut s'enregistrer lui même pour gérer les fichier .ml et les exécuter.

Et maintenant quand j'ai un fichier a.ml plutôt que de faire "ocaml a.ml", je peut faire directement ./a.ml (pour peut qu'il soit exécutable).

Génial ET inutile. Je vous avais prévenu.