aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--genenetwork-development.scm2
-rw-r--r--genenetwork/development-helper.scm6
2 files changed, 7 insertions, 1 deletions
diff --git a/genenetwork-development.scm b/genenetwork-development.scm
index c344dc5..fe8313e 100644
--- a/genenetwork-development.scm
+++ b/genenetwork-development.scm
@@ -636,7 +636,7 @@ command to be executed."
tissue-website-gexp)
source-checkout
#$(profile
- (content (packages->manifest (list tissue)))
+ (content (packages->manifest (list git-minimal tissue)))
(allow-collisions? #t)))))
#:guix-daemon-uri %guix-daemon-uri
#:deep-clone? #t)))))
diff --git a/genenetwork/development-helper.scm b/genenetwork/development-helper.scm
index e8364ef..d2d905b 100644
--- a/genenetwork/development-helper.scm
+++ b/genenetwork/development-helper.scm
@@ -156,4 +156,10 @@ SOURCE. PROFILE is a profile with necessary dependencies."
(use-modules (guix build utils))
(chdir #$source)
+ ;; Set HOME so that we can write to ~/.gitconfig.
+ (setenv "HOME" "/tmp")
+ ;; The source directory is owned by root, and not the
+ ;; laminar user. So, we need to reassure git that it is
+ ;; safe.
+ (invoke "git" "config" "--global" "--add" "safe.directory" #$source)
(invoke "tissue" "web" #$output)))))