On Mon, 10 Jun 2002, Udo Mueller wrote: > Und zum lokalen Update nehme ich immer: > > # updategpg-keys > > if [ "$1" = "" ]; then > echo "Usage: $0 COUNTRY" && exit 1 > fi > > > gpg --keyserver=wwwkeys.$1.pgp.net --recv-key `gpg --list-keys \ > | grep "pub " | sed -e 's#.*\(R\|D\|G\)/##' -e 's# .*##'` > > #end update-gpg-keys Ich mach das immer mit "gpg --refresh-keys" ;-) Gruss, Markus -- [ markus hubig ] [ mail: mhubig@web.de ] [ debian/gnu linux (sid) ] [ vorholzstrasse 6 ] [ saft: markus@pot.ath.cx ] [ linux 2.4.17 i686 ] [ 76131 karlsruhe ] [ tele: +049 721 6657522 ] [ reg. Linux user #204961 ]
Attachment:
pgpx_zo5XGp5D.pgp
Description: PGP signature