TIPS : Utiliser l’historique du Terminal

Utiliser l'historique du Terminal UNE

I. Présentation

Dans cet article je vais vous montrer quelques astuces pour bien utiliser l’historique du Terminal

Pour ré exécuter une commande précédemment lancée, plutôt que de tout retaper, il vous suffit d’appuyer sur la touche ↑ (flèche haut) pour accéder à la commande précédente,  rien de nouveau.

On est parfois pas assez curieux et on a tendance à faire avec les moyens du bord, on fait history puis on choisi la ligne qui nous intéresse et on fait un copier-coller.

Une autre technique est un peu plus efficace, celle-ci  consiste à faire un | grep, cela permet d’isoler les commandes qui nous intéressent :

A mes yeux cette technique est pas mal, mais on perd encore du temps dans nos recherches.

II. Utilisation de base de la commande history

Comme évoqué plus haut tout le monde connaît la touche ↑ pour remonter les dernières commandes.

Si la commande est trop ancienne vous pouvez lancer la commande history qui vous remontera les X dernières commande :

III. Rechercher une ligne de l’historique, puis la relancer

X correspond aux 500 dernières commandes (dans mon cas je n’ai que 57 entrées) :

Relancer la commande numéro 57, au lieu de la retaper ou de faire un copier-coller, il de tapez !le_numero_souhaité :

IV. Relancer la dernière commande

Recherche et relancer un commande en recherchant une chaine de caractère précise :

Il y a une autre méthode encore plus puissante, c’est la commande +R.

En tapant les premières lettres de la commande recherchée, et en tapant de nouveau sur +R la recherche passe à l’occurrence précédente.

V. Vider l’historique

De la même manière pour vider l’historique je faisais un echo «  » > /home/user/.history

Cette technique fonctionne correctement mais la vrai commande reste la suivante

VI. Changer la taille de l’historique de l’utilisateur courant

Definition: $HISTFILESIZE environment variable:

Le nombre maximum de lignes contenu dans le fichier d’historique, la valeur par défaut étant 500.

Definition: $HISTSIZE environment variable:

Le nombre maximum de commandes retrouvée lors de l’appel de la commande history, la valeur par défaut étant aussi 500.

Il faut dans un premier temps connaître cette valeur pour cela il faut tapez la commande :

Pour la changer, tous se passe dans le fichier /home/user/.bashrc

VII. Afficher la date d’exécution

Cette option est d’autant plus intéressante si vous êtes plusieurs à vous connecter en root, cela permet d’avoir une meilleures traçabilité.

Ce qui nous donnera :

Flori@n

Moi c'est Florian, j'ai 32 ans. J'ai découvert l'informatique à 17 ans et eu ma première connexion Internet à 23 ans. On ne va donc pas dire que j'ai été très précoce dans ce domaine... Quoiqu'il en soit, depuis je passe en moyenne 8 heures par jour sur un PC et ce qui est assez bizarre c'est que j'aime ça et j'en redemande le soir et le week-end. Je suis donc quelqu'un de bizarre, mais je n'ai aucun problème avec ça !!!

Vous aimerez aussi...

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *

Ce site utilise Akismet pour réduire les indésirables. En savoir plus sur comment les données de vos commentaires sont utilisées.

%d blogueurs aiment cette page :