Ho installato le utilità di base GNU tramite brew install coreutils . Ho anche aggiunto PATH=$(brew --prefix coreutils)/libexec/gnubin:$PATH
all'inizio di ~/.bash_profile (ed è auto-sourced in ~/.bashrc ) per abilitare l'accesso a queste utility con i loro nomi predefiniti, ant non prepended con g .
Desidero anche accedere alle pagine man di queste utilità, quindi ho aggiunto MANPATH="/usr/local/opt/coreutils/libexec/gnuman:${MANPATH-/usr/share/man}" a ~/.bash_profile come seconda riga. Sfortunatamente, quando digito man ls per esempio, ottengo ancora la pagina man BSD, invece di quella di Gnu. Come posso risolvere questo problema?