[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: ¿A qué paquete pertenece /usr/bin/awk?



El dom, 13-06-2004 a las 20:57, Javi Castelo escribió:
> Hola,
> 
> $ls -l /usr/bin/awk
> -rwxr-xr-x    1 root     root        86616 2004-06-11 09:32 /usr/bin/awk
> 
> #dpkg --search /usr/bin/awk
> dpkg: no se encontró /usr/bin/awk.
> 
> ¿A qué paquete pertenece?

En mi sistema eso lo maneja el sistema de alternativas.

~$ ls -l /usr/bin/awk
lrwxrwxrwx    1 root     root           21 2002-07-28 19:01 /usr/bin/awk
-> /etc/alternatives/awk

$ update-alternatives --display awk
awk - status is auto.
 link currently points to /usr/bin/gawk
/usr/bin/mawk - priority 5
 slave nawk: /usr/bin/mawk
 slave awk.1.gz: /usr/share/man/man1/mawk.1.gz
 slave nawk.1.gz: /usr/share/man/man1/mawk.1.gz
/usr/bin/gawk - priority 10
 slave nawk: /usr/bin/gawk
 slave awk.1.gz: /usr/share/man/man1/gawk.1.gz
 slave nawk.1.gz: /usr/share/man/man1/gawk.1.gz
Current `best' version is /usr/bin/gawk.

Así que en mi sistema es gawk.

Saludos.



Reply to: