Ensiman
De Ensiwiki
Introduction
Ensiman, ou le man de l'Ensimag, est une commande qui vous enverra vers la source la plus pertinente possible. Pour l'instant disponible uniquement sur Ensisun, elle sera bientot sur chaque serveur.
bash-3.2$ ensiman GCC
Code
Voici le code du script. Si certains d'entre vous ont des idées de modifications, qu'ils n'hésitent pas : dès qu'un root le verra, il pourra valider (verifier qu'il n'y a rien de frauduleux) et uploader la nouvelle version pour la rendre disponible à tous.
url="http://ensiwiki.ensimag.fr/index.php/Special:Recherche?search=$1"
if [[ -z $DISPLAY ]]
then
/home/ensi3a/synnaevg/links-1.00pre23/links "$url";
else
firefox "$url";
fi;