1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-15 23:59:45 +01:00

home-manager: minor Bash code fixes

This commit is contained in:
Robert Helgesson 2017-01-08 22:08:17 +01:00
parent 43fd747ba7
commit 37831674e2
No known key found for this signature in database
GPG key ID: C3DB11069E65DC86

View file

@ -51,7 +51,7 @@ function doHelp() {
echo " packages List all packages installed in home-manager-path" echo " packages List all packages installed in home-manager-path"
} }
case $1 in case "$1" in
rebuild) rebuild)
doRebuild "$2" doRebuild "$2"
;; ;;
@ -68,4 +68,5 @@ case $1 in
echo "Unknown command: $1" echo "Unknown command: $1"
doHelp doHelp
exit 1 exit 1
;;
esac esac