diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2012-12-12 16:01:46 +0100 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2012-12-12 16:01:46 +0100 |
commit | 9fa12fc2015c9cbc34bcf9d83e7396ba5dbc81a9 (patch) | |
tree | 388441a167bcde8c56d16a21d0eaa246c86c1c53 /src | |
parent | 3ad53e43c8ca35cc581ebc3dd880c11892c8e016 (diff) |
Allow setting the profile location using $NIX_PROFILE
Fixes #69.
Diffstat (limited to 'src')
-rw-r--r-- | src/nix-env/nix-env.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/nix-env/nix-env.cc b/src/nix-env/nix-env.cc index b57e54c75..68a3e89d8 100644 --- a/src/nix-env/nix-env.cc +++ b/src/nix-env/nix-env.cc @@ -1350,6 +1350,9 @@ void run(Strings args) if (!op) throw UsageError("no operation specified"); + if (globals.profile == "") + globals.profile = getEnv("NIX_PROFILE", ""); + if (globals.profile == "") { Path profileLink = getHomeDir() + "/.nix-profile"; globals.profile = pathExists(profileLink) |