Hoe heette dat tool toch?

Vind snel de naam van elk commandline-tool.

Commando's in de terminal typen doen we elke dag. Maar als je de precieze naam van een tool vergeten bent, wat doe je dan?

Gebruik man -k gevolgd door een deel van het tool dat je zoekt. Hij zoekt in het commandonaam zelf of in de beschrijving. Je vindt gegarandeerd het tool dat je zocht.
Bijvoorbeeld om alle backupcommando's te vinden:

$ man -k backup

btrfs-select-super (8) - overwrite primary superblock with a backup copy

idevicebackup (1)    - Create or restore backup for devices.

idevicebackup2 (1)   - Create or restore backups for devices running iOS 4 or...

luckybackup (8)      - a powerful, fast and reliable backup & sync tool

luckybackup-pkexec (8) - a powerful, fast and reliable backup & sync tool

mysqlpump (1)        - a database backup program

...

Spelen?

$ man -k game

gamemoded (8)        - optimises system performance on demand

intro (6)            - introduction to games