Comment l'historique des lignes de commande est-il stocké lorsque j'utilise plusieurs fenêtres de terminal? Je sais qu'il est stocké dans .bash_historymais je ne peux pas voir la logique sur quel historique est utilisé si j'ouvre une nouvelle fenêtre. Cela semble presque non déterministe dans un...