summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xscripts/make-nur33
1 files changed, 33 insertions, 0 deletions
diff --git a/scripts/make-nur b/scripts/make-nur
new file mode 100755
index 00000000..41097d2e
--- /dev/null
+++ b/scripts/make-nur
@@ -0,0 +1,33 @@
1#!/bin/bash
2
3set -e
4
5tmp=$(mktemp -d)
6git clone . $tmp
7cd $tmp
8
9trap "rm -rf $tmp" EXIT
10
11git remote add NUR gitolite@git.immae.eu:perso/Immae/Config/Nix/NUR
12git fetch --tags NUR
13# tag nur_root on perso/Immae/Config/Nix/NUR
14nur_root="252dd7d899b7a0deea1537cc5d2d48b825afffb0"
15# tag nur_publish on perso/Immae/Config/Nix
16first_commit="5145061e9b679ea1e5d2709d22d0ee53467fed15"
17git rebase --onto=$nur_root $first_commit master
18
19clean_folder='
20 rm -rf modules/private pkgs/private nixops
21 for bad in pkgs/crypto/cardano/default.nix; do
22 if [ -f $bad ]; then
23 rm -f $bad
24 cat > $bad <<-EOF
25 { runCommand, mylibs }:
26 runCommand "empty" { preferLocalBuild = true; } "mkdir -p \$out"
27EOF
28 fi
29 done
30'
31
32git filter-branch --tree-filter "$clean_folder" --prune-empty master
33git push NUR +master