diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-06-09 10:36:38 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-06-09 12:02:28 +0200 |
| commit | cdc5b9320f34a73b0a05a8915872e2aa21ff1197 (patch) | |
| tree | a8455698d4138a951c05ed229e823b599fc281f3 /graph.js | |
| parent | 24cb66d18e37162721d636c277838718d3b23966 (diff) | |
system: Honor ~/.config/guix/current in /etc/profile.
* gnu/system.scm (operating-system-etc-service)[profile]: Add
~/.config/guix/current/share/info to INFOPATH. Treat ~/.guix-profile
and ~/.config/guix/current in the same way.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions