On Wed, 24 May 2006 02:17:28, Brendan O'Dea <[EMAIL PROTECTED]> said:

> Feel free to raise new bugs on other packages.

The following pair of one-liners might be of use to somebody...

        % apropos "manual page for"
        cddb-slave2-properties (1) - manual page for Gnome 
cddb-slave2-properties 2.0.0
        cdxa2mpeg (1)        - manual page for cdxa2mpeg 0.7.23
        ddrescue (1)         - manual page for ddrescue version 1.2
        eog-collection-view (1) - manual page for Gnome eog-collection-view
        fribidi (1)          - manual page for fribidi 0.10.5
        gnome-cd (1)         - manual page for Gnome gnome-cd 2.1.0
        gnome-sound-recorder (1) - manual page for Gnome grecord 2.1.0
        gnome-volume-control (1) - manual page for Gnome gnome-volume-control 
2.1.0
        gstreamer-properties (1) - manual page for Gnome gstreamer-properties 
2.2.1.1
        gv (1)               - manual page for gv 3.6.1
        orange (1)           - manual page for orange 0.8.9
        recode (1)           - manual page for recode 3.6
        speexdec (1)         - manual page for speexdec version 1.1
        speexenc (1)         - manual page for speexenc version 1.1
        vcd-info (1)         - manual page for vcd-info 0.7.23
        vcdimager (1)        - manual page for vcdimager 0.7.23
        vcdxbuild (1)        - manual page for vcdxbuild 0.7.23
        vcdxgen (1)          - manual page for vcdxgen 0.7.23
        vcdxminfo (1)        - manual page for vcdxminfo 0.7.23
        vcdxrip (1)          - manual page for vcdxrip 0.7.23
        vumeter (1)          - manual page for Gnome Volume Meter 2.1.0
        xchat (1)            - manual page for xchat 2.0.10

...which files and packages?

        % apropos "manual page for" | while read a b ; do set `whereis $a` ; 
eval echo \$$#; done | xargs dlocate | sort
        eog: /usr/share/man/man1/eog-collection-view.1.gz
        gddrescue: /usr/share/man/man1/ddrescue.1.gz
        gnome-media: /usr/share/man/man1/gnome-cd.1.gz
        gnome-media: /usr/share/man/man1/gnome-sound-recorder.1.gz
        gnome-media: /usr/share/man/man1/gnome-volume-control.1.gz
        gnome-media: /usr/share/man/man1/gstreamer-properties.1.gz
        gnome-media: /usr/share/man/man1/vumeter.1.gz
        gv: /usr/share/man/man1/gv.1.gz
        libfribidi0: /usr/share/man/man1/fribidi.1.gz
        orange: /usr/share/man/man1/orange.1.gz
        recode: /usr/share/man/man1/recode.1.gz
        speex: /usr/share/man/man1/speexdec.1.gz
        speex: /usr/share/man/man1/speexenc.1.gz
        vcdimager: /usr/share/man/man1/cdxa2mpeg.1.gz
        vcdimager: /usr/share/man/man1/vcd-info.1.gz
        vcdimager: /usr/share/man/man1/vcdimager.1.gz
        vcdimager: /usr/share/man/man1/vcdxbuild.1.gz
        vcdimager: /usr/share/man/man1/vcdxgen.1.gz
        vcdimager: /usr/share/man/man1/vcdxminfo.1.gz
        vcdimager: /usr/share/man/man1/vcdxrip.1.gz
        xchat: /usr/share/man/man1/xchat.1.gz

Of course my system doesn't have every package in Debian installed:

        % dglob | wc -l 
        2433

Some developer with access to a whole Debian mirror might use a similar
search of its '.deb' archives to produce a complete list.  Alas, I
don't have an equivalent one-liner for '.deb' files.



-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to