diff options
author | Carlos Sánchez de La Lama <csanchezdll@gmail.com> | 2016-07-27 14:27:00 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-07-27 23:08:20 +0200 |
commit | cad7e6abafc14de220265e09a0fc4bbd96664599 (patch) | |
tree | 8394e0d68c59335b700befd21e7b2a07b9106c14 /gnu/packages | |
parent | 9712ef8d426375f7bc1975ed4076663176c48735 (diff) | |
download | guix-cad7e6abafc14de220265e09a0fc4bbd96664599.tar.gz |
system: Source /etc/environment before $HOME/.guix-profile/etc/profile.
* gnu/system.scm (operating-system-etc-service) <profile>: Move sourcing of /etc/environment before that of $HOME/.guix-profile/etc/profile. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages')
0 files changed, 0 insertions, 0 deletions