shell: fix up profile to correctly use user’s local guix
authorAmin Bandali <bandali@gnu.org>
Sat, 10 Aug 2019 17:36:07 +0000 (13:36 -0400)
committerAmin Bandali <bandali@gnu.org>
Sat, 10 Aug 2019 17:36:07 +0000 (13:36 -0400)
commit09b0be0bc8af645e6c9020f89da68e9cfc897d0a
tree009f7df59feed4a31a370897cc0bc5d0d73baeec
parent39bd31c6da6bb7ae65fb5ce7400a9747e5c1ed6f
shell: fix up profile to correctly use user’s local guix
.profile