diff options
author | Robert Helgesson <robert@rycee.net> | 2017-01-08 22:06:53 +0100 |
---|---|---|
committer | Robert Helgesson <robert@rycee.net> | 2017-01-15 23:41:20 +0100 |
commit | 43fd747ba7c5fd9e92bfa02a32448fbb73c81113 (patch) | |
tree | 749f60ea71bc3619e64917dbc855f9e7cc6deb12 /home-manager | |
parent | 671805009cde0cea186318724ef97397ed4b0b76 (diff) |
Use a generation directory
Before we put only user files in the generation directory but that was
quite limiting. In particular, we lost track of the activation script.
Diffstat (limited to 'home-manager')
-rw-r--r-- | home-manager/home-manager | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/home-manager/home-manager b/home-manager/home-manager index fffffad0084..9b0aa793148 100644 --- a/home-manager/home-manager +++ b/home-manager/home-manager @@ -17,16 +17,18 @@ function doRebuild() { --argstr modulesPath "$HOME/.nixpkgs/home-manager/modules" \ --argstr confPath "$confFile" \ -A activation-script \ - -o "$wrkdir/activate" + -o "$wrkdir/generation" - "$wrkdir/activate/libexec/home-activate" + "$wrkdir/generation/activate" - rm -rv "$wrkdir" + rm -r "$wrkdir" } function doListGens() { - ls --color=yes -gG --sort time "/nix/var/nix/gcroots/per-user/$(whoami)" \ + pushd "/nix/var/nix/profiles/per-user/$USER" > /dev/null + ls --color=yes -gG --sort time home-manager-*-link \ | cut -d' ' -f 4- + popd > /dev/null } function doListPackages() { |