Documentation - Bash

Description

bash est le shell par défaut sur les stations Unix/Linux. Il s'agit d'une extension au shell de base sh afin de le rendre plus performant et plus facile à utiliser.

Scripts bash en quelques mots

On peut déjà écrire des scripts assez puissants en bash avec juste quelques notions de bases:

Il suffit maintenant de combiner tout cela en utilisant aussi les commandes incluses directement dans bash (tapez help dans bash), ainsi que tous les programmes de base à votre disposition (grep, sort, head, etc.: voir man nom_de_la_commande).

Un petit exemple pour illustrer le principe:

  for NAME in *.c; do
    if (tail -n 10 < $NAME | grep wiki); then
      mv $NAME ${NAME%.c}.wiki
    fi
  done

Ce tout petit script va renommer tous les fichiers se terminant par .c et contenant la chaîne wiki dans les 10 dernières lignes en un fichier portant le même nom mais avec l'extension .wiki.

Notes des séminaires INGI

Introducing Bash with Ding

Linux, commandes "de base"

Linux, commandes "avancées"

Inroduction aux outils Unix

Exercice : script userinfo.sh

L'objectif de cet exercice est de construire de façon incrémentale un petit script donnant des informations sur un utilisateur du système.

Les spécifications (loosy :-)) sont les suivantes :

Les «corrigés» des differentes étapes vue pendant le séminaire :

Trucs et astuces

Lorsqu'il est utilisé en ligne de commande, <code>bash</code> contient plusieurs facilités pour simplifier la vie de son utilisateur :

Informations complémentaires

Recupéré sur https://wiki.student.info.ucl.ac.be/Documentation/Bash
Page mise à jour le 11 août 2020 à 10h08