mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-10-03 21:40:12 +00:00
29 lines
772 B
Nu
Executable File
29 lines
772 B
Nu
Executable File
#!/usr/bin/env nix-shell
|
|
#! nix-shell -I ./.
|
|
#! nix-shell -i nu
|
|
#! nix-shell -p nushell nix
|
|
|
|
const PACKAGE = './pkgs/by-name/id/idris2/package.nix'
|
|
|
|
def main [] {
|
|
let tag = http get "https://api.github.com/repos/idris-lang/Idris2/releases"
|
|
| sort-by -r created_at
|
|
| first
|
|
| get tag_name
|
|
|
|
print $"Newest version: ($tag)"
|
|
|
|
let hash = run-external "nix" "flake" "prefetch" "--json" $"github:idris-lang/Idris2/($tag)"
|
|
| from json
|
|
| get hash
|
|
|
|
let current_hash = nix eval -f ./. idris2.unwrapped.src.outputHash --json | from json
|
|
let current_version = nix eval -f ./. idris2.version --json | from json
|
|
|
|
$PACKAGE
|
|
| open
|
|
| str replace $current_version ($tag | str trim -c 'v')
|
|
| str replace $current_hash $hash
|
|
| save -f $PACKAGE
|
|
}
|