Aujourd'hui, j'ai tapé par erreur Grep
dans mon Terminal et, à ma surprise, la commande /bin/grep
s'est exécutée quand même. Je ne veux PAS ce comportement. Cependant, il semble impossible de le désactiver. Je suis actuellement sur macOS 14.5.
J'ai testé cela avec le Bash intégré 3.2.57 ainsi que le Bash 5.2.26 de Homebrew, les résultats étaient les mêmes.
$ Grep
usage: Grep [-abcdDEFGHhIiJLlMmnOopqRSsUVvwXxZz] [-A num] [-B num] [-C[num]]
[-e pattern] [-f file] [--binary-files=value] [--color=when]
[--context[=num]] [--directories=action] [--label] [--line-buffered]
[--null] [pattern] [file ...]
$ echo $BASH
/bin/bash
$ echo $BASH_VERSION
3.2.57(1)-release
$ command -v grep
/usr/bin/grep
$ command -v Grep
/usr/bin/Grep
$ stat -f%i /usr/bin/grep # outputs inode
1152921500312525090
$ stat -f%i /usr/bin/Grep
1152921500312525090 # même
J'espérais trouver une directive que je pourrais mettre dans mon .bash_profile
, une commande shopt
par exemple. Mais ce sont les seules deux que j'ai pu trouver, et j'ai expérimenté avec les deux sans succès.
$ shopt | grep case
nocaseglob off
nocasematch off