Pré-rentré 2025-2026#
Classement des meilleurs jeux#
- Un fichier
.zip
est une archive contenant plusieurs fichiers. Pour décompressez cette archive: Se connecter sur une machine
Ouvrir cette page de l’ENIBOOK dans un navigateur.
La télécharger
IPI_2025.zip
en cliquant sur le lien ci dessus.Ouvrir un terminal et créer un répertoire de travail avec la commande suivante :
mkdir ipi
Se rendre dans le repertoire :
cd ipi
Copier l’archive dans votre répertoire de travail :
cp ~/Downloads/IPI_2025.zip ./
oucp ~/Téléchargements/IPI_2025.zip ./
oucp /mnt/c/users/bob/Downloads/ ./
(cela dépend de l’endroit où l’archives a été enregistrée).Décompresser l’archive avec la commande
unzip IPI_2025.zip
Se rendre dans le répertoire de l’exemple :
cd nom_du_jeu
Lancer le programme
python main.py
- Quelques commandes utiles
cd ..
remonter dans l’arborescence des répertoiresls
lister le contenu d’un répertoirepwd
afficher le chemin de./
cd /mnt/c/Users/utilisateur/Downloads
accéder au repertoire de téléchargement windows\\wsl*\home\utilisateur\ipi
chemin du répertoire wsl depuis windowsALT_TAB
raccourci clavier pour changer de fenêtreTAB
complétion automatique de commande.