On 06/15/2010 05:34 PM, Michael Prokop wrote:
/usr/bin/awk points to /etc/alternatives/awk which points to /usr/bin/mawk on your box, right?
Indeed: # ls -l /usr/bin/awk lrwxrwxrwx 1 root root 21 Feb 4 12:02 /usr/bin/awk -> /etc/alternatives/awk # readlink -f /usr/bin/awk /usr/bin/mawk Cheers, Rémi