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

[Javi Castelo <javicastelo@ono.com>]

On Sun, Jun 13, 2004 at 09:28:30PM +0200, Jaime Soriano Pastor wrote:
> 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?
> >
> A gawk (GNU awk)
> 
		Hola,

		gracias por contestar pero lo que dices no concuerda.

#dpkg -L gawk
/.
/usr
/usr/share
/usr/share/doc
[...]
/usr/share/awk
[...]
/usr/share/info
[...]
/usr/share/man
[...]
/usr/share/locale
[...]
/usr/bin
/usr/bin/pgawk
/usr/bin/gawk
/usr/bin/igawk
/usr/lib
/usr/lib/awk
/usr/lib/awk/pwcat
/usr/lib/awk/grcat
/usr/share/man/man1/pgawk.1.gz

		Más aún, tras «apt-file update» hago:
		
#apt-file search /usr/bin/awk

		y da la callada por respuesta.

-- 
Javi Castelo
GPG fingerprint: E7CC D9F7 F5D8 6FD8 AE6F  AB15 D35D E3E8 6859 28CB

Attachment: signature.asc
Description: Digital signature