diff --git a/nix-kubernetes/coder.nix b/nix-kubernetes/coder.nix index 227153e..35cc6c5 100644 --- a/nix-kubernetes/coder.nix +++ b/nix-kubernetes/coder.nix @@ -25,7 +25,7 @@ repo_folder = ''''${local.git_repo_folder}''; in '' mkdir -p ~/repos - if [ ! -z "${repo}" ] then + if [ ! -z "${repo}" ]; then echo "Cloning repo \"${repo}\" if it does not exist" pushd ~/repos >/dev/null if [[ ! -d "${repo_folder}" ]] then @@ -44,7 +44,7 @@ display_name = "Home Manager"; icon = "/emojis/1f3e0.png"; script = '' - if [ ! -z "$DOTFILES_REPO" ] then + if [ ! -z "$DOTFILES_REPO" ]; then echo "Dotfiles present, reloading home-manager profile" reload-dotfiles else