@papinou Merci Papinou de nous rappeler cette possibilité en effet. Je connais l'installation par le magasin d'applications F-Droid, mais je ne sais pas si on peut le trouver dans la boutique "officielle". Rudement pratiquement pour travailler en shell (adeptes des gestionnaires de bureau, vous pourrez passer votre chemin). C'est aussi l'occasion de découvrir l'arborescence des fichiers, qui est hélas non conforme aux standards des distributions GNU/Linux classiques... Merci le robot vert !
La commande "history"
-
La commande "history", comme son nom l'indique, retrace tout l'historique des commandes passées en console.
-
Et comment l'utilise t on ? Y a t il un man history ?
-
@olivier Salut, juste inscrit sur la communauté, il suffit de faire !xxx ou xxx est le numéro de la ligne du history pour refaire la commande passée.
-
@olivier Oui, il y a un man history
-
Bienvenue
-
@yannick85 Le Ctrl-R pour rechercher une commande tapée précédemment est très pratique aussi.
-
Si vous voulez conserver votre historique dans un fichier texte sur votre Bureau, dans votre terminal tapez successivement :
cd Bureau
history > mon_historique.txt