Récupérer les sources des TPs

Vous devez avoir atteint cette page après ouverture d’une session linux, en choisissant le style XFCE (celui recommandé par le service d’administration des machines). Si vous avez ouvert une session windows, ou autre que XFCE fermez la session et ouvres une session linux XFCE.

Pour commencer, téléchargez les sources des TP via l’archive suivante: TP_SELC.zip

En utilisant l’interface graphique fournie pas Linux, déplacer l’archive dans le répertoire correspondant à votre nom de famille.

Ouvrez l’application « Terminal », puis tapez la commande (dans le text ci-dessous, le caractère $ indique juste le début de la ligne à taper; ne pas le recopier donc):

$pwd

vous devriez obtenir /cal/homes/<votre_nom>; si ce n’est pas le cas, par exemple si vous obtenez /cal/homes/<votre_nom>/Desktop alors il faut exécute la commande $cd .. ou $cd /cal/homes/<votre_nom>

pour vérifier que vous travaillez avec le Terminal dans le répertoire qui contient l’archive des TP, exécutez la commande:

$ls

TP_SELC.zip devrait apparaitre dans la liste des informations affichées. Si ce n’est pas le cas, cela signifie que vous n’avez pas placé l’archive dans le répertoire correspondant à votre nom de famille, ou que le terminal travail dans un autre répertoire…

Une fois les vérifications ci-dessus validées, tapez:

$unzip TP_SELC.zip

Bravo, vous avez récupéré les énoncés des TP … et les corrigés 😉 Y a plus qu’à!