Les terminaux comme le terminal de GNOME Shell offrent de nombreux raccourcis pratiques mais pas forcément intuitifs.
Voici une sélection des plus utiles.
dimanche 11 août 2019
Les raccourcis indispensables pour le terminal
Par Alexis Lefebvre le dimanche 11 août 2019, 16:12