avoid pushing .drv.chroot files

cachix · Jun 24, 2022 · f5f67ba · f5f67ba
1 parent bfb6415
commit f5f67ba
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/dist/main/list-nix-store.sh b/dist/main/list-nix-store.sh
@@ -8,6 +8,10 @@ for file in /nix/store/*; do
     # Avoid .drv as they are not generally useful
     continue
     ;;
+  *.drv.chroot)
+    # Avoid .drv.chroot as they are not generally useful
+    continue
+    ;;
   *.check)
     # Skip .check file produced by --keep-failed
     continue