.files/nix/overlays/pin-isabelle-2023.nix at scopedImport - primrose/.files - forge

primrose/.files

mirror of https://codeberg.org/leana8959/.files.git synced 2025-12-06 14:49:14 +00:00

Léana 江 8cc6d2b71c

remove niv residue

```fish
for d in {.,**/*}
    if [ ! -d $d ]; continue; end

    set from ./nix/sources.nix
    set to   ./npins

    set from (realpath -s $from --relative-to $d)
    set to   (realpath -s $to   --relative-to $d)

    echo "($d, $from, $to)"

    for f in $d/*
        if [ ! -f $f ]; continue; end
        sed -i "s=$from=$to=" $f
    end
end
```

2025-07-03 08:39:28 +02:00

7 lines

144 B

Nix

Raw Permalink Blame History

 let
   sources = import ../../npins;
 in
   _: _: {
     # Isabelle version 2023
     isabelle-2023 = (import sources.pin-isabelle {}).isabelle;
   }