-
Quelqu’un·e saurait comment faire comprendre à zsh d’aller utiliser les binaires dans le PATH plutôt que ses commandes built-in ? Comme par exemple time, qui continue à être la version zsh malgré la disponibilité de /usr/bin/time ? 🤔
aeris22’s Twitter Archive—№ 71,919