Introduction au terminal

Nous vous rappelons que par convention, les commandes à taper dans une invite de commande (shell) sont précédées par le caractère $ ou le caractère #. $ signifie que la commande peut être exécutée par n'importe quel utilisateur alors que # signifie que la commande doit être exécutée par un utilisateur possédant les droits administrateurs. Ces caractères ne doivent pas être copiés dans votre terminal avec la commande.

Pour les utilisateurs de Windows, vous devez installer WSL. Une fois dans WSL, votre terminal se comportera comme un système Linux.

Avertissement

Attention ! Si vous êtes sur Windows, vous devez installer WSL afin de travailler dans un environnement Linux.

Utilisation du terminal

Veuillez sélectionner l'onglet correspondant à votre système :

WSL permet de faire tourner un système Linux sur Windows. En réalité, il s'agit d'une machine virtuelle Linux intégrée étroitement avec Windows. WSL nécessite que le support de la virtualisation soit activé au niveau du BIOS.

Cette option peut être activée par défaut, essayez donc de faire le tuto sans changer les options de votre BIOS. Si vous rencontrez une erreur similaire à celle ci-dessous lors de l'installation de WSL, vous pouvez suivre les informations pour accéder au BIOS et activer la virtualisation.

../_images/wslerror.png
Activer le support pour la virtualisation (seulement si vous rencontrez une erreur plus tard)../_images/bios_virtualization.png

Il se peut que chez vous le BIOS ainsi que le nom de l'option soit différent.

Vous ne savez pas comment accéder au BIOS ?../_images/settings.png ../_images/update.png ../_images/advanced_options.png ../_images/recovery.png ../_images/startup.png

Vous pouvez également accéder au BIOS en redémarrant votre machine et en appuyant sur une touche spéciale. Il s'agit en général de la touche DELETE ou F12, cela dépend de votre machine. Si vous ne savez pas, vous pouvez chercher sur internet en tapant "BIOS key <nom de votre machine>".

Vous pouvez ouvrir un invité de commande, Powershell par exemple

../_images/wsl_install.png

Dans le terminal la commande wsl --install permet d'installer WSL

../_images/wsl_install_cmd.png

Une fois l'installation terminée n'oubliez pas de relancer votre machine.

../_images/wsl_finished.png

Ensuite, pour lancer WSL, vous pouvez simplement taper Ubuntu dans la barre de recherche Windows.

../_images/wsl_start.png ../_images/wsl_pwd.png

Il est utile de comprendre comment accéder aux fichiers Windows depuis Linux et vice-versa.

../_images/windows_fs.png

Depuis Linux, le système de fichier Windows est monté dans /mnt/c. L'image ci-dessous montre que le fichier notes_windows se trouvant dans Documents/linfo1002 sous Windows, se trouve dans /mnt/c/Users/$UTILISATEUR/Documents/linfo1002 sous Linux. Dans l'autre sens, les fichiers créés sous Linux peuvent être accédés depuis Windows.

Le système de fichier Linux peut être navigué par l'explorateur de fichier Windows depuis Linux->Ubuntu->root. Si nous créons un fichier sous Linux dans /root/Documents/linfo1002, nous pouvons voir qu'il est accessible sous Windows dans Linux->Ubuntu->root->Documents->linfo1002.

../_images/wsl_linux_fs.png

Nous venons de voir que chacun des systèmes d'exploitation peut accéder au système de fichier de l'autre. Néanmoins, pour des raisons de performance, nous vous conseillons de travailler depuis le système de fichier Linux. Pour créer votre dossier de travail linfo1002 dans documents, vous pouvez utiliser les commandes suivantes.

$ mkdir Documents
$ mkdir Documents/linfo1002

Ou bien de façon équivalente

$ mkdir -p Documents/linfo1002

Commandes de base

Voici un résumé des commandes de base pour naviguer et manipuler des fichiers dans le terminal :

  • pwd : affiche le répertoire courant (Print Working Directory)

  • ls : liste les fichiers et dossiers du répertoire courant

  • cd <dossier> : change de répertoire (Change Directory)

  • mkdir <nom> : crée un nouveau dossier (Make Directory)

  • touch <nom> : crée un fichier vide

  • rm <fichier> : supprime un fichier

  • rm -r <dossier> : supprime un dossier et son contenu

  • cp <source> <destination> : copie un fichier

  • mv <source> <destination> : déplace ou renomme un fichier

Exercice pratique

Mettez en pratique les commandes ci-dessus en suivant ce scénario. Après chaque étape, utilisez ls pour vérifier le résultat.

  1. Placez-vous dans votre dossier linfo1002 :

    $ cd ~/Documents/linfo1002

  2. Créez un dossier exercice_terminal et entrez dedans :

    $ mkdir exercice_terminal
$ cd exercice_terminal

  3. Vérifiez où vous êtes avec pwd :

    $ pwd

  4. Créez trois fichiers vides :

    $ touch fichier1.txt fichier2.txt fichier3.txt

  5. Listez les fichiers pour vérifier :

    $ ls

  6. Créez un sous-dossier backup :

    $ mkdir backup

  7. Copiez fichier1.txt dans le dossier backup :

    $ cp fichier1.txt backup/

  8. Renommez fichier2.txt en document.txt :

    $ mv fichier2.txt document.txt

  9. Déplacez fichier3.txt dans le dossier backup :

    $ mv fichier3.txt backup/

  10. Vérifiez le contenu du dossier backup :

    $ ls backup

  11. Supprimez document.txt :

    $ rm document.txt

  12. Remontez d'un niveau et supprimez le dossier exercice_terminal avec tout son contenu :

    $ cd ..
$ rm -r exercice_terminal

Astuce

Si vous faites une erreur, pas de panique ! Vous pouvez toujours recommencer l'exercice depuis le début.

Bonus : ouvrir VSCode depuis le terminal

Maintenant que vous maîtrisez la navigation dans le terminal, vous pouvez l'utiliser pour lancer VSCode directement dans votre dossier de travail.

Placez-vous dans votre dossier de projet :

$ cd ~/Documents/linfo1002/tp1

Puis ouvrez VSCode dans ce dossier :

$ code .

Le point . signifie "le dossier courant". VSCode s'ouvrira avec votre dossier tp1 comme workspace.

Vous pouvez aussi ouvrir un fichier spécifique :

$ code mon_fichier.html