diff options
Diffstat (limited to 'genenetwork')
| -rw-r--r-- | genenetwork/development-helper.scm | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/genenetwork/development-helper.scm b/genenetwork/development-helper.scm index d2d905b..e8364ef 100644 --- a/genenetwork/development-helper.scm +++ b/genenetwork/development-helper.scm @@ -156,10 +156,4 @@ 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))))) |