diff options
| author | Marius Bakke <marius@gnu.org> | 2021-12-18 19:10:37 +0100 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2021-12-23 03:07:34 +0100 |
| commit | a89d65eec1948cbcbf9936939906fae9cdabf1e7 (patch) | |
| tree | c44cdf619a03f12ef8f449735d15903c43a07a8a | |
| parent | 867c33d3d76b473b4d30dcc8a01b0f770a397146 (diff) | |
chromium-extension: Avoid another usage of the store-mapped /tmp.
* gnu/build/chromium-extension.scm (make-crx): Use a Chromium profile relative
to the build directory instead of /tmp. While here, remove obsolete comment.
| -rw-r--r-- | gnu/build/chromium-extension.scm | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gnu/build/chromium-extension.scm b/gnu/build/chromium-extension.scm index 656034b80f..8ca5251957 100644 --- a/gnu/build/chromium-extension.scm +++ b/gnu/build/chromium-extension.scm @@ -83,10 +83,8 @@ in PACKAGE-OUTPUT of PACKAGE. The extension will be signed with SIGNING-KEY." (system (string-append xvfb " :1 &")) (setenv "DISPLAY" ":1") (sleep 2) ;give Xorg some time to initialize... - ;; Chromium stores the current time in the .crx Zip archive. - ;; Use a fixed timestamp for deterministic behavior. (invoke chromium - "--user-data-dir=/tmp/signing-profile" + "--user-data-dir=chromium-profile" (string-append "--pack-extension=" packdir) (string-append "--pack-extension-key=" #$signing-key)) (copy-file (string-append packdir ".crx") #$output)))) |