Re: que dit le dico ?

Il a bien indiqué :

On m'impose de n'utiliser qu'une seule commande. Je n'ai qu'un indice "cherchez la commande "coller" en anglais, mais je n'ai pas trouvé.

Donc j'en déduis qu'il n'a pas trouvé la bonne traduction (et il faut admettre que ce n'est pas forcément évident.) Une fois le/la mot/commande trouvé/e ta réponse donne la seconde étape

Un petit complément : pour savoir ce que fait une commande shell donnée, et (surtout) comment il est possible de l'utiliser, il y a (aussi) une commande shell : man. Cela ne permet pas de faire une recherche, mais c'est bien utile pour comprendre rapidement ou en aide-mémoire. Souvent, il y a de petits exemples pour aider.

Par contre, il est bien possible de rechercher les pages de manuel... Il faut que le moteur d'indexation soit activé (en général c'est le cas) et la base de donnée associée à jour (je crois que ça se fait au moment de l'installation/désinstallation des paquets.) Quand ces conditions sont réunies, la partie « NOM » et une portion de la partie « DESCRIPTION » de chaque manuel sont indexées et on peut faire une recherche sur les mots qui y sont ; mais ça va dépendre des locales (en anglais chez moi). Les commandes pour cet effet sont

• man -k ou apropos
• man -f ou whatis

Exemple

# la partie indexée de la commande "ls" par exemple
$ man ls | head -n 5
LS(1) BSD General Commands Manual LS(1)
NAME
 ls -- list directory contents
# rechercher tout ce qui contient "directory"
$ apropos directory | grep git
git-clone(1) - Clone a repository into a new directory
git-mv(1) - Move or rename a file, a directory, or a symlink
git-stash(1) - Stash the changes in a dirty working directory away
$ apropos directory | wc -l
 129
# rechercher les entrées avec "list" et/ou "directory"
$ apropos list directory | wc -l
 434
# les deux sont différents mais je ne sais plus la subtilité
$ whatis list directory | wc -l
 303
$ whatis directory | wc -l
 115
$ whatis directory | grep git
git-clone(1) - Clone a repository into a new directory
git-mv(1) - Move or rename a file, a directory, or a symlink
git-stash(1) - Stash the changes in a dirty working directory away

"It is seldom that liberty of any kind is lost all at once." ― David Hume