Ensiman

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;