diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-08-20 19:12:36 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-08-20 19:12:36 +0200 |
| commit | fa96048f0a97b4265b3c52f30a5accf89e96174b (patch) | |
| tree | c2208dc8a76c209b22f3a38fa26ab60bcc595474 /gnu | |
| parent | feca8e2bc703b97ea2862935f762d423f983be7e (diff) | |
| download | guix-fa96048f0a97b4265b3c52f30a5accf89e96174b.tar.gz | |
profiles: Remove duplicate entries in 'etc/profile'.
Reported by Andy Wingo at <http://lists.gnu.org/archive/html/guix-devel/2015-08/msg00109.html>. * guix/profiles.scm (profile-derivation)[builder]: Delete duplicates in SEARCH-PATHS.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions