system: Use "." instead of "source" in /etc/profile.
authorLudovic Courtès <ludo@gnu.org>
Thu, 7 May 2015 07:45:45 +0000 (09:45 +0200)
committerLudovic Courtès <ludo@gnu.org>
Thu, 7 May 2015 07:49:08 +0000 (09:49 +0200)
commit669786da9103c554fb474187ddab7b7c88f8e89d
tree6e0319bba152cef05fcb2f47b56d4080fd7347c3
parent507c71d629d6aacf47e03a94eaf0c6b9ef45c367
system: Use "." instead of "source" in /etc/profile.

* gnu/system.scm (etc-directory)[profile]: Use "." instead of "source",
  the latter being Bash-specific.
gnu/system.scm