Modification de Terminal : Quelques raccourcis indispensables
Révision datée du 10 février 2015 à 10:47 par Adadov (discussion | contributions) (Adadov a déplacé la page Quelques raccourcis terminal indispensables vers Terminal : Quelques raccourcis indispensables sans laisser de redirection)
Attention : vous êtes en train de modifier une ancienne version de cette page.
Si vous la publiez, toutes les modifications effectuées depuis cette version seront perdues.
Attention : vous n’êtes pas connecté(e). Votre adresse IP sera visible de tout le monde si vous faites des modifications. Si vous vous connectez ou créez un compte, vos modifications seront attribuées à votre propre nom d’utilisateur(rice) et vous aurez d’autres avantages.