Mirrors/home-manager
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

home-manager: rename rebuild to switch

Browse source
This commit is contained in:
Robert Helgesson 2017-01-11 22:58:55 +01:00
parent 94fd39c41c
commit bd951cda66
No known key found for this signature in database
GPG key ID: C3DB11069E65DC86
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
home-manager/home-manager
View file

@ -23,7 +23,7 @@ function doBuild() {
-o "$output" -o "$output"
} }
function doRebuild() { function doSwitch() {
local wrkdir local wrkdir
wrkdir="$(mktemp -d)" wrkdir="$(mktemp -d)"
@ -58,7 +58,7 @@ function doHelp() {
echo "Commands" echo "Commands"
echo " help Print this help" echo " help Print this help"
echo " build Build configuration into result directory" echo " build Build configuration into result directory"
echo " rebuild Build and activate environment" echo " switch Build and activate configuration"
echo " generations List all home environment generations" echo " generations List all home environment generations"
echo " packages List all packages installed in home-manager-path" echo " packages List all packages installed in home-manager-path"
} }
@ -67,8 +67,8 @@ case "$1" in
build) build)
doBuild "$2" "result" doBuild "$2" "result"
;; ;;
rebuild) switch)
doRebuild "$2" doSwitch "$2"
;; ;;
generations) generations)
doListGens doListGens