diff options
Diffstat (limited to 'genenetwork')
| -rw-r--r-- | genenetwork/development-helper.scm | 6 |
1 files changed, 6 insertions, 0 deletions
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))))) |