Fix pob update script
Some checks are pending
pre-commit / pre-commit (push) Waiting to run

This commit is contained in:
2024-07-19 20:44:07 +02:00
parent 94683e2876
commit f556ff066f
2 changed files with 10 additions and 5 deletions

View File

@@ -1,5 +1,6 @@
#!/usr/bin/env bash
set -eo pipefail
set -x
# TODO: Update pobfrontend as well?
@@ -14,8 +15,12 @@ hash=$(jq '.args.hash' <<< "$nurl_output")
echo "Updating pob to $rev"
# Find lines to replace
line_numbers=$(grep -Fn "rev =" packages/pob.nix| cut -d":" -f1)
line_data=$(head -n1 <<< "$line_numbers")
rev_line_numbers=$(grep -Fn "rev =" packages/pob.nix| cut -d":" -f1)
rev_line_data=$(head -n1 <<< "$rev_line_numbers")
sed -i "${rev_line_data}s/.*/ rev = $rev;/" packages/pob.nix
hash_line_numbers=$(grep -Fn "hash =" packages/pob.nix| cut -d":" -f1)
hash_line_data=$(head -n1 <<< "$hash_line_numbers")
sed -i "${hash_line_data}s/.*/ hash = $hash;/" packages/pob.nix
sed -i "${line_data}s/.*/ rev = $rev;/" packages/pob.nix
nixfmt packages/pob.nix