search for: gpgtmpdir

Displaying 6 results from an estimated 6 matches for "gpgtmpdir".

2016 Oct 24
0
[PATCH 2/2] builder: consolidate handling of temporary files/dirs
...!subkeys in !fingerprint, subkeys -let rec create ~gpg ~gpgkey ~check_signature = +let rec create ~gpg ~gpgkey ~check_signature ~tmpdir = (* Create a temporary directory for gnupg. *) - let tmpdir = Mkdtemp.temp_dir "vb.gpghome." "" in - rmdir_on_exit tmpdir; + let gpgtmpdir = Mkdtemp.temp_dir ~base_dir:tmpdir "vb.gpghome." "" in (* Make sure we have no check_signature=true with no actual key. *) let check_signature, gpgkey = match check_signature, gpgkey with @@ -103,7 +102,7 @@ let rec create ~gpg ~gpgkey ~check_signature = * ca...
2016 Oct 25
0
[PATCH v2 2/2] builder: consolidate handling of temporary files/dirs
...!subkeys in !fingerprint, subkeys -let rec create ~gpg ~gpgkey ~check_signature = +let rec create ~gpg ~gpgkey ~check_signature ~tmpdir = (* Create a temporary directory for gnupg. *) - let tmpdir = Mkdtemp.temp_dir "vb.gpghome." "" in - rmdir_on_exit tmpdir; + let gpgtmpdir = Mkdtemp.temp_dir ~base_dir:tmpdir "vb.gpghome." "" in (* Make sure we have no check_signature=true with no actual key. *) let check_signature, gpgkey = match check_signature, gpgkey with @@ -103,7 +102,7 @@ let rec create ~gpg ~gpgkey ~check_signature = * ca...
2016 Oct 25
2
[PATCH v2 1/2] mllib: curl: add optional tmpdir parameter
Add a new optional parameter for the Curl ADT, so temporary files can be created in a specified directory (which is supposed to be temporary, and disposed only when the application quits). --- mllib/curl.ml | 10 ++++++---- mllib/curl.mli | 2 +- 2 files changed, 7 insertions(+), 5 deletions(-) diff --git a/mllib/curl.ml b/mllib/curl.ml index 376406e..baa75ec 100644 --- a/mllib/curl.ml +++
2016 Oct 24
2
[PATCH 1/2] mllib: curl: add optional tmpdir parameter
Add a new optional parameter for the Curl ADT, so temporary files can be created in a specified directory (which is supposed to be temporary, and disposed only when the application quits). --- mllib/curl.ml | 16 +++++++++++----- mllib/curl.mli | 2 +- 2 files changed, 12 insertions(+), 6 deletions(-) diff --git a/mllib/curl.ml b/mllib/curl.ml index 376406e..7d07125 100644 --- a/mllib/curl.ml
2017 Jul 21
2
[PATCH] common/mlutils: Remove bogus suffix parameter from Mkdtemp.temp_dir.
...checker.ml index f72c21ab0..55e743940 100644 --- a/builder/sigchecker.ml +++ b/builder/sigchecker.ml @@ -92,7 +92,7 @@ let import_keyfile ~gpg ~gpghome ~tmpdir ?(trust = true) keyfile = let rec create ~gpg ~gpgkey ~check_signature ~tmpdir = (* Create a temporary directory for gnupg. *) - let gpgtmpdir = Mkdtemp.temp_dir ~base_dir:tmpdir "vb.gpghome." "" in + let gpgtmpdir = Mkdtemp.temp_dir ~base_dir:tmpdir "vb.gpghome." in (* Make sure we have no check_signature=true with no actual key. *) let check_signature, gpgkey = match check_signature, gpgkey with...
2017 Apr 04
1
[PATCH] Use Unicode single quotes ‘’ in place of short single quoted strings throughout.
..._"GPG failure: could not trust the imported key\nUse the ‘-v’ option and look for earlier error messages."); ); let subkeys = (* --with-fingerprint is specified twice so gpg outputs the full @@ -106,7 +106,7 @@ let rec create ~gpg ~gpgkey ~check_signature ~tmpdir = gpg gpgtmpdir (if verbose () then "" else " >/dev/null 2>&1") in let r = shell_command cmd in if r <> 0 then - error (f_"GPG failure: could not run GPG the first time\nUse the '-v' option and look for earlier error messages."); + e...