@Hammarby
Grazie per la precsisazione. L'info è fondamentale.
Davo per scontato che se il comando è nella cartella in cui mi trovo fosse eseguito comunque.
Per aggiungere /usr/local/etc in quale file conviene usare un comando tipo
PATH=$PATH:/usr/local/etc
o aggiungo /usr/local/etc come riga nel costrutto pathmunge di /usr/local/etc/profile?