From 8f4aa0fcb351be775f2aa31b2e52e1168f6855ae Mon Sep 17 00:00:00 2001
From: Michael Raitza <michael.raitza@tu-dresden.de>
Date: Wed, 17 Feb 2021 10:44:08 +0100
Subject: [PATCH] Add nixredo-gc

---
 default.nix | 2 +-
 nixredo-gc  | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)
 create mode 100644 nixredo-gc

diff --git a/default.nix b/default.nix
index f2b9387..2a76b41 100644
--- a/default.nix
+++ b/default.nix
@@ -7,7 +7,7 @@ stdenv.mkDerivation {
   buildernix = ./builder.nix;
   libnix = ./lib.nix;
 
-  files = [ ./nixredo ./nixredo-deps ./nixredo-whichdo ];
+  files = [ ./nixredo ./nixredo-deps ./nixredo-whichdo ./nixredo-gc ];
 
   installPhase = ''
     mkdir -p $out/bin
diff --git a/nixredo-gc b/nixredo-gc
new file mode 100644
index 0000000..f721d8f
--- /dev/null
+++ b/nixredo-gc
@@ -0,0 +1,3 @@
+#!/bin/sh
+[ "${NIXREDO_ROOT+x}" = x ] || { printf "$0 only runs for private a nix store. Set NIXREDO_ROOT to a non-empty value\n"; exit 127; }
+nix-store --store "${NIXREDO_ROOT}" --gc