diff options
| author | Alejandro Soto <alejandro@34project.org> | 2025-10-11 12:22:00 -0600 |
|---|---|---|
| committer | Alejandro Soto <alejandro@34project.org> | 2025-10-11 12:22:00 -0600 |
| commit | a5bb6bec46924a2954382d5726540f6902aaa8b1 (patch) | |
| tree | c13ee41179e65658807c146b04430e8bae51d0e7 /pkgs/athena-bccr/gaudi-env.nix | |
| parent | 037a099639c3a359b006493b481a38701febb81e (diff) | |
tree-wide: replace local athena-bccr with version from trivionomicon
Diffstat (limited to 'pkgs/athena-bccr/gaudi-env.nix')
| -rw-r--r-- | pkgs/athena-bccr/gaudi-env.nix | 62 |
1 files changed, 0 insertions, 62 deletions
diff --git a/pkgs/athena-bccr/gaudi-env.nix b/pkgs/athena-bccr/gaudi-env.nix deleted file mode 100644 index 0ca1b82..0000000 --- a/pkgs/athena-bccr/gaudi-env.nix +++ /dev/null @@ -1,62 +0,0 @@ -{ - buildFHSEnv, - curl, - lib, - writeShellScriptBin, - gaudiHash ? null, - unwrapped, -}: let - unwrappedWithGaudi = unwrapped.override {inherit gaudiHash;}; -in - buildFHSEnv { - name = "gaudi"; - - targetPkgs = pkgs: [ - unwrappedWithGaudi.ase-idprotect.lib - unwrappedWithGaudi.gaudi - - (writeShellScriptBin "launch-gaudi" '' - set -o errexit - set -o pipefail - set -o nounset - - PATH="${lib.makeBinPath [curl]}:$PATH" - - echo "$0: testing for incompatible releases..." >&2 - - jar_name=bccr-firma-fva-clienteMultiplataforma.jar - url="https://www.firmadigital.go.cr/Bccr.Firma.Fva.Actualizador.ClienteFirmadorJava//recursosLiberica17/actualizador/$jar_name" - ca_file="${unwrappedWithGaudi.bccr-cacerts}/root-ca.pem" - url_hash=$(curl -sS --cacert "$ca_file" "$url" | sha256sum | cut -d' ' -f1) - jar_path="${unwrappedWithGaudi.gaudi}/share/java/$jar_name" - jar_hash=$(sha256sum "$jar_path" | cut -d' ' -f1) - - if [ "$url_hash" != "$jar_hash" ]; then - last_modified=$(curl -sS --head --cacert "$ca_file" "$url" | grep -i '^last-modified:' | head -1) - - echo "$0: sha256 mismatch for $jar_path due to server-side update" >&2 - echo "$0: expected: $url_hash" >&2 - echo "$0: actual: $jar_hash" >&2 - echo "$0: $last_modified" >&2 - echo "$0: run the following to download the new client JAR, then update your derivation:" >&2 - echo "$0: \$ ${unwrappedWithGaudi.update-gaudi}" >&2 - - exit 1 - fi - - cache_path_1="''${XDG_CACHE_HOME:-$HOME/.cache}/Agente-GAUDI" - cache_path_2="''${XDG_CACHE_HOME:-$HOME/.cache}/Firmador-BCCR" - - for cache_path in "$cache_path_1" "$cache_path_2"; do - mkdir -p "$cache_path" - ln -sf -- ${unwrappedWithGaudi.gaudi}/share/java/bccr-firma-fva-clienteMultiplataforma.jar "$cache_path" - done - - cp -f --no-preserve=mode -t "$cache_path_1" -- "${unwrappedWithGaudi.gaudi}/share/java/config.properties" - - exec gaudi - '') - ]; - - runScript = "launch-gaudi"; - } |
