Recherche instantanée dans l'historique de votre terminal avec un raccourci clavier
Tous ceux qui utilisent régulièrement la ligne de commande ont au moins une longue chaîne qu'ils tapent régulièrement. Au lieu d'entrer tout cela encore et encore, recherchez rapidement votre historique pour trouver la commande complète
RELATED: Comment utiliser votre historique Bash dans le terminal Linux ou macOS
Même si vous connaissez, utilisez votre historique Bash Dans Linux ou macOS Terminal, vous ne connaissez peut-être pas la fonctionnalité de recherche intégrée, qui vous permet de trouver rapidement la dernière commande que vous avez tapée en utilisant une série de caractères. Et c'est facile à utiliser: il suffit d'ouvrir votre Terminal sur MacOS ou Linux.
Appuyez maintenant sur Ctrl + R; vous verrez(reverse-i-search).
Commencez simplement à taper: la commande la plus récente pour inclure les caractères que vous avez tapés s'affichera.
Incluez autant de détails que nécessaire jusqu'à ce que la chose précise que vous recherchez apparaisse. Lorsque c'est le cas, appuyez sur Entrée et la commande s'exécutera instantanément.
Oui, j'aurais pu trouver un exemple plus utile, mais vous avez l'idée: appuyez sur Ctrl + R, tapez jusqu'à ce que vous voyiez une correspondance, puis appuyez sur Entrée.
Les captures d'écran ne permettent pas de comprendre à quel point tout ceci fonctionne rapidement, voici donc un GIF en quelques clics:
Gardez ce raccourci clavier à portée de main s'il y a quelques commandes long-ish que vous tapez
CONNEXION: Comment effacer l'historique des terminaux sur Linux ou macOS
Oh, et si vous vous inquiétez que quelqu'un d'autre trébuche sur des commandes embarrassantes, vous pourriez effacer l'historique de votre terminal. Je ne le dirai à personne.
Synchronisation de votre bibliothèque Kodi sur plusieurs périphériques avec MySQL
Par défaut, si vous avez plusieurs machines Kodi, elles ne se reconnaîtront pas. Les épisodes que vous avez regardés sur un téléviseur ne s'afficheront pas comme "regardé" sur un autre. Ce ne serait pas bien, cependant, si votre boîte de chambre Kodi savait ce que vous avez regardé dans le salon, et vice-versa?
Comment supprimer quelqu'un de votre liste d'amis PlayStation
C'est cool de pouvoir ajouter vos amis sur PlayStation. Vous pouvez voir ce que chacun fait, quels jeux vous avez joués, et même jouer ensemble dans certains cas. Jusqu'à ce que cette personne ne soit pas quelqu'un avec qui vous voulez jouer plus longtemps. Ensuite, il est temps de les supprimer CONNEXES: Quelle est la différence entre la PlayStation 4, PlayStation 4 Slim et PlayStation 4 Pro?
