On Fri, 13 Sep 2002 12:08:09 +0200, Micha Holzmann said: > You can use the $HOME/options file. In order to work as you expect, make > an entry with: BTW, since 1.1.92 options has been replaced by gpg.conf but it will still be used as long as there is no gpg.conf. Just want to let you know. Shalom-Salam, Werner