diff options
| author | Prafulla Giri <pratheblackdiamond@gmail.com> | 2019-12-28 12:48:52 +0545 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-01-17 17:28:57 +0100 |
| commit | 30810aff713149d53cb25f36ae6d721ec66385da (patch) | |
| tree | d78b94bec23c33458a2dbfebfb65f161983f614c /etc/substitutes/ci.guix.info.pub | |
| parent | 7b2a47a702b7393cd968640079f8703c932d1405 (diff) | |
| download | guix-30810aff713149d53cb25f36ae6d721ec66385da.tar.gz guix-30810aff713149d53cb25f36ae6d721ec66385da.zip | |
guix-install.sh: Create an init profile during installation
Create an init profile (/etc/profile.d/guix.sh) during installation for
better integration with foreign distros. This file, read by login-shells
sets a few environment variables (PATH, GUIX_PROFILE, GUIX_LOCALE, along
with XDG_DATA_DIRS) and makes guix-installed packages readily available
for the users. Other environment variables, as listed by `guix package
--search-paths=prefix`, are also exported.
Checks are in place to prevent the init profile from needlessly polluting
the user's environment.
* etc/guix-install.sh (sys_create_init_profile): New function to create
/etc/profile.d/guix.sh init profile.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'etc/substitutes/ci.guix.info.pub')
0 files changed, 0 insertions, 0 deletions