[gnome-build-meta] Stop inheriting $HOME



commit cc1d8cdcecc7b5b5ccb36c3e76a9bcf19e61b0b9
Author: Michael Catanzaro <mcatanzaro igalia com>
Date:   Thu Mar 8 18:49:42 2018 -0600

    Stop inheriting $HOME
    
    This is broken, fixes #22

 project.conf | 4 ----
 1 file changed, 4 deletions(-)
---
diff --git a/project.conf b/project.conf
index 9a4056e..6fddd45 100644
--- a/project.conf
+++ b/project.conf
@@ -123,10 +123,6 @@ shell:
     DBUS_SESSION_BUS_ADDRESS: '$DBUS_SESSION_BUS_ADDRESS'
     XDG_RUNTIME_DIR: '$XDG_RUNTIME_DIR'
 
-    # We dont automatically mount the user's home, but this makes things work
-    # better if the user decides to mount in their homedir explicitly with `bst shell`
-    HOME: '$HOME'
-
     # Inform applications which use pulseaudio of the server socket
     PULSE_SERVER: 'unix:${XDG_RUNTIME_DIR}/pulse/native'
 


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]