From b1566203381206632b4f00b7120c4484089ca924 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Mon, 20 Apr 2020 01:58:14 +0200
Subject: Remove useless scripts after migration to home-manager

---
 scripts/make-nur | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'scripts/make-nur')

diff --git a/scripts/make-nur b/scripts/make-nur
index 1fe5f7a0..127f8bd6 100755
--- a/scripts/make-nur
+++ b/scripts/make-nur
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 
@@ -16,6 +16,8 @@ nur_root="252dd7d899b7a0deea1537cc5d2d48b825afffb0"
 first_commit="5145061e9b679ea1e5d2709d22d0ee53467fed15"
 git rebase --onto=$nur_root $first_commit master
 
+# The list below musn't get shrinked, it is used by filter-branch on
+# every commit
 clean_folder='
   rm -rf config lib/private modules/private pkgs/private nixops
   for broken in pkgs/crypto/cardano/default.nix; do
-- 
cgit v1.2.3