Raccourcis clavier Ctrl + R et Ctrl + Shift pour naviguer dans l'historique des commandes du terminal

journal_geek:2023:20230131-rechercher-dans-l-historique-des-commandes-saisies

Choisissez une catégorie

[racine]
- 3178
- 5762
- 6867
- 6911
- 7741
- 9093
- 9462
- cookie
- electronique
- info
- informatique
- journal_geek
- linux
- loisirs
  - jeux-de-societe
  - lego
    - 1234
    - 2824
    - 3177
    - 3178
    - 4200
    - 4208
    - 4209
    - 4427
    - 4428
    - 4436
    - 4641
    - 5508
    - 5761
    - 5866
    - 5891
    - 6115
    - 6508
    - 6511
    - 6512
    - 6524
    - 6531
    - 6572
    - 6665
    - 6910
    - 6911
      - pasted
    - 6912
    - 7208
    - 7213
    - 7235
    - 7236
    - 7239
    - 7245
    - 7288
    - 7498
    - 7741
    - 7942
    - 8200
    - 8206
    - 8424
    - 9442
    - 9445
    - 9462
    - 9478
    - 9479
    - 9480
  - musique
  - pasted
  - videos
  - voyages
- pasted
- podcasts
- produits
- undefined
- vie_pratique
- wiki

20230108-025715.png
992×831
2023/01/08 01:57
600.2 KB

journal_geek/2023/20230131-rechercher-dans-l-historique-des-commandes-saisies.txt
Dernière modification : 2023/02/01 10:18
de Cédric ABONNEL