J'ai changé dans mon message le nom de la commande par
gawk
parce que j'avais oublié que j'avais installé le paquetage
gawk
Mais en fait, une fois le paquetage
gawk installé
le nom de la commande est
awk
parce que :
michel@xubuT450:~$ type awk
awk est /usr/bin/awk
michel@xubuT450:~$ file /usr/bin/awk
/usr/bin/awk: symbolic link to /etc/alternatives/awk
michel@xubuT450:~$ file /etc/alternatives/awk
/etc/alternatives/awk: symbolic link to /usr/bin/gawk
michel@xubuT450:~$ file /usr/bin/gawk
/usr/bin/gawk: ELF 64-bit LSB shared object, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=b863ebf57d3cc33d8e7fed3be0e0b5d235489b46, for GNU/Linux 3.2.0, stripped
michel@xubuT450:~$
ou en plus court :
michel@xubu:~$ readlink -f $(which awk)
/usr/bin/gawk
michel@xubu:~$
