Historique des commandes MariaDB

Petite astuce simple.

Si la commande a été entré ressèment on peut naviguer dans l'historique avec les flèches haut et bas classiquement nous dirions.

Mais si la commande est plus ancienne par contre on peut gagner du temps en effectuant une recherche précise en tapant :

CTRL+R puis en entrant les caractères que vous recherchez.

Comme dans un terminal Gnu/Linux.

Il faut savoir aussi que MariaDB maintient un fichier .mysql_history dans le home de l'utilisateur avec la liste de toutes les commandes effectuées par l'utilisateur en question, et il est possible de modifier le fichier utilisé en modifiant la variable MYSQL_HISTFILE dans le fichier de conf.