Travaux pratiques (commandes de base)

L'objectif de cette première session de TP est de préparer votre environnement de travail en même temps que de réviser rapidement quelques notions de base.

Cliquez sur les flèches vers la droite pour déplier les solutions.

Préparation de votre environnement de travail

• Lancez un terminal sous Bash.

  Sous Ubuntu C'est facile: par défaut quand on ouvre un terminal (Ctrl-Alt-t), c'est bash qui est utilisé. Sous Windows 1. Si vous avez un compte sur une machine Linux, connectez-vous y. 2. Si vous avez installé WSL, lancez un terminal et choisissez le nom de votre Linux. 3. Sinon, installez git bash et lancez-le.

• Créez les répertoires Formation et Formation/UnixShell sous votre home directory (avec contrôle du contenu des répertoires à chaque étape avec ls ou ll qui est un alias).

  Voir la solution bash $ mkdir Formation $ ls ... Formation ... $ mkdir Formation/UnixShell $ ls Formation ... UnixShell ...
• Déplacez-vous dans le répertoire UnixShell en une étape et vérifiez le répertoire courant. Voir la solution bash $ cd Formation/UnixShell $ pwd / ... /Formation/UnixShell

Utilisation de quelques commandes Unix de base

• Visualisez l'historique de votre session, avec affichage en sortie standard. Voir la solution bash $ history ... 1 mkdir Formation 2 ls 3 mkdir Formation/UnixShell ...
• Récupérez votre historique dans un fichier historique.txt. Voir la solution bash history > historique.txt
• Affichez à l'écran le contenu de ce fichier historique.txt. Voir la solution bash less historique.txt
• Comptez le nombre de lignes de ce fichier. Voir la solution bash $ wc -l historique.txt 16 historique.txt (par exemple)
• Affichez les 3 premières lignes du fichier historique de deux façons :
  • avec une redirection en entrée de la commande appropriée Voir la solution bash head -3 < historique.txt
  • avec un pipe pour enchaîner les deux commandes appropriées Voir la solution bash cat historique.txt | head -3
• Renommez le fichier historique.txt en monHistorique.txt Voir la solution bash mv historique.txt monHistorique.txt