Improved README #3

Closed
Luis wants to merge 7 commits from Luis-Hebendanz-main into main
2 changed files with 7 additions and 2 deletions
Showing only changes of commit 75ea50c5d9 - Show all commits

View File

@@ -1,5 +1,5 @@
{ fetchzip }:
fetchzip {
url = "https://gitea.gchq.icu/api/packages/ui-asset-bot/generic/Luis-nextjs-python-web-template/0490isam16py7apig295ji99fjblm44m80b68dv5fbpj3xnvx113/assets.tar.gz";
sha256 = "0490isam16py7apig295ji99fjblm44m80b68dv5fbpj3xnvx113";
url = "https://gitea.gchq.icu/api/packages/IoSL/generic/IoSL-service-aware-frontend/1avqlivp7vs693b91ywgzyqgksg781lznf273cvfmjmz8h4sqpp7/assets.tar.gz";
sha256 = "1avqlivp7vs693b91ywgzyqgksg781lznf273cvfmjmz8h4sqpp7";
}

View File

@@ -17,6 +17,11 @@ if [[ -z "${GITHUB_SERVER_URL:-}" ]]; then
exit 1
fi
if [[ -z "${GITHUB_REPOSITORY:-}" ]]; then
echo "Env var GITHUB_REPOSITORY is not set. Please use the repo path here."
exit 1
fi
DEPS=$(nix shell --inputs-from '.#' "nixpkgs#gnutar" "nixpkgs#gnused" "nixpkgs#curl" "nixpkgs#gzip" -c bash -c "echo \$PATH")
export PATH=$PATH:$DEPS