Hoe heette dat tool toch?

05-04-2021
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


Scripts zijn superhandig omdat het weinig tijd kost om ze te maken - ze zijn vaak maar kort - en ze veraangenamen het leven aanmerkelijk.

Bekijk 11 meer scripts
 
×