diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-05-07 09:45:45 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-05-07 09:49:08 +0200 |
| commit | 669786da9103c554fb474187ddab7b7c88f8e89d (patch) | |
| tree | 6e0319bba152cef05fcb2f47b56d4080fd7347c3 /po | |
| parent | 507c71d629d6aacf47e03a94eaf0c6b9ef45c367 (diff) | |
| download | guix-669786da9103c554fb474187ddab7b7c88f8e89d.tar.gz | |
system: Use "." instead of "source" in /etc/profile.
* gnu/system.scm (etc-directory)[profile]: Use "." instead of "source", the latter being Bash-specific.
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions