-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Mon, Dec 08, 2008 at 11:42:22AM +0000, sjb wrote: > wget http://vbox.innotek.de/pipermail/vbox-users/2008-December.txt.gz > gunzip 2008-December.txt.gz > egrep 'something or other' 2008-December.txt
There's actually an easier way. Go to google, and in the search box, search for: site:vbox.innotek.de/pipermail/vbox-users your_search_terms Hth. Greg - -- web site: http://www.romuald.net.eu.org gpg public key: http://www.romuald.net.eu.org/pubkey.asc skype: gregn1 (authorization required, add me to your contacts list first) - -- Free domains: http://www.eu.org/ or mail [EMAIL PROTECTED] -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkk9eGAACgkQ7s9z/XlyUyBZfgCgpecX8+77HV0zSgAf3d71SVlD whgAn19C9BugdtNI5AGkG3sIa/baMX71 =OAfK -----END PGP SIGNATURE----- _______________________________________________ vbox-users mailing list [email protected] http://vbox.innotek.de/mailman/listinfo/vbox-users
