diff options
author | Thomas Wolf <thomas.wolf@paranor.ch> | 2021-08-10 23:26:42 +0200 |
---|---|---|
committer | Thomas Wolf <thomas.wolf@paranor.ch> | 2021-08-18 08:57:14 +0200 |
commit | ca7a30f231201cdc5acc567f3ef08d1dd4369b44 (patch) | |
tree | f68982e9315d3e409592bc78fc2201a8976374e3 /org.eclipse.jgit.packaging | |
parent | aad1bde5220fa3a645c77ab2ba9c81c756c6ae84 (diff) | |
download | jgit-ca7a30f231201cdc5acc567f3ef08d1dd4369b44.tar.gz jgit-ca7a30f231201cdc5acc567f3ef08d1dd4369b44.zip |
[gpg] Better GPG home directory determination
GPG can use customized directories instead of the standard ~/.gnupg or
%APPDATA%\gnupg directories:
* Environment variable GNUPGHOME can define the location.
* On Windows, a registry key may define the location (but this is
deprecated).
* Portable installations may use a directory defined via a file
"gpgconf.ctl".
* GPG programs may take a --homedir command-line argument, which
overrides anything.
Implement handling of environment variable GNUPGHOME. The other ways of
GPG to get its home directory are outside the reach of JGit. Provide a
system property "jgit.gpg.home" that the user can set in such cases.
Do tilde replacement for the system property and for GNUPGHOME.
Note that on VMS, the default directory would be ~/gnupg (without dot).
This is not accounted for, but a user on VMS could now use either the
system property or GNUPGHOME to direct JGit to the right directory.
Bug: 575327
Change-Id: Id5ea04a85d58dba0c0df7a705777630d36042467
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
Diffstat (limited to 'org.eclipse.jgit.packaging')
0 files changed, 0 insertions, 0 deletions