Dans les prochaines versions 2024.1 des IDE PhpStorm et WebStorm, l'editeur JetBrains a intégré un nouveau terminal, qui prend le pas sur le terminal par défault de notre système (ZSH de mon côté) et donc la perte de tous les raccourcis, plugins... Pas super cool.