From d8d2a56f96cb9d95add7dcfd649086ff3fea9a8c Mon Sep 17 00:00:00 2001 From: Samuel Tam Date: Thu, 4 Jul 2024 22:57:16 +0800 Subject: [PATCH] home-manager: update style Co-authored-by: Bruno BELANYI --- home-manager/home-manager | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/home-manager/home-manager b/home-manager/home-manager index 3671f08b3..5c736dc52 100644 --- a/home-manager/home-manager +++ b/home-manager/home-manager @@ -102,7 +102,7 @@ function setHomeManagerNixPath() { if [[ -n "$path" ]] ; then if [[ -e "$path/flake.nix" ]] ; then # Set FLAKE_ARG if not set by --flake already - FLAKE_ARG=${FLAKE_ARG:-$path} + : "${FLAKE_ARG:=$path}" fi if [[ -e "$path" || "$path" =~ ^https?:// ]] ; then EXTRA_NIX_PATH+=("home-manager=$path")