bash, select

Je viens de m'apercevoir que je n'ai jamais parlé de la commande select sous bash. Celle-ci est très pratique car elle permet de faire un choix en précisant un numéro et non sa valeur.

Exemple d'utilisation ci-dessous :