nix fmt #9

Merged
Luis merged 3 commits from Luis-main into main 2023-10-30 16:32:35 +00:00
Showing only changes of commit 8a2c3517f5 - Show all commits

View File

@@ -17,7 +17,7 @@ if [[ -z "${GITHUB_SERVER_URL:-}" ]]; then
exit 1
fi
DEPS=$(nix shell --inputs-from '.#' "nixpkgs#gnutar" "nixpkgs#curl" "nixpkgs#gzip" -c bash -c "echo \$PATH")
DEPS=$(nix shell --inputs-from '.#' "nixpkgs#gnutar" "nixpkgs#gnused" "nixpkgs#curl" "nixpkgs#gzip" -c bash -c "echo \$PATH")
export PATH=$PATH:$DEPS