Make pushFilter filter out just the positive matches

Previously, it would remove all paths if even a single one matched.

Author: sandydoo

dist/main/index.js

@@ -7964,8 +7964,17 @@ async function registerPostBuildHook(cachixBin, daemonDir) {
 
     PUSH_FILTER="${pushFilter}"
 
-    if [ -n "$PUSH_FILTER" ]; then
-      OUT_PATHS=$(echo "$OUT_PATHS" | grep -vEe "$PUSH_FILTER")
+    function filterPaths {
+      local regex=$1
+      local paths=$2
+
+      for path in $paths; do
+        echo $path | grep -vEe $regex
+      done | xargs
+    }
+
+    if [[ -n $PUSH_FILTER ]]; then
+      OUT_PATHS=$(filterPaths $PUSH_FILTER "$OUT_PATHS")
     fi
 
     exec ${cachixBin} daemon push \

dist/main/push-paths.sh

@@ -3,11 +3,20 @@ set -euo pipefail
 
 cachix=$1 cachixArgs=${2:--j8} cache=$3 pathsToPush=$4 pushFilter=$5
 
-if [[ $pathsToPush == "" ]]; then
+filterPaths() {
+  local regex=$1
+  local paths=$2
+
+  for path in $paths; do
+    echo $path | grep -vEe $regex
+  done | xargs
+}
+
+if [[ -z $pathsToPush ]]; then
     pathsToPush=$(comm -13 <(sort /tmp/store-path-pre-build) <("$(dirname "$0")"/list-nix-store.sh))
 
-    if [[ $pushFilter != "" ]]; then
-        pathsToPush=$(echo "$pathsToPush" | grep -vEe "$pushFilter")
+    if [[ -n $pushFilter ]]; then
+        pathsToPush=$(filterPaths $pushFilter "$pathsToPush")
     fi
 fi
 

src/main.ts

@@ -283,8 +283,17 @@ async function registerPostBuildHook(cachixBin: string, daemonDir: string) {
 
     PUSH_FILTER="${pushFilter}"
 
-    if [ -n "$PUSH_FILTER" ]; then
-      OUT_PATHS=$(echo "$OUT_PATHS" | grep -vEe "$PUSH_FILTER")
+    function filterPaths {
+      local regex=$1
+      local paths=$2
+
+      for path in $paths; do
+        echo $path | grep -vEe $regex
+      done | xargs
+    }
+
+    if [[ -n $PUSH_FILTER ]]; then
+      OUT_PATHS=$(filterPaths $PUSH_FILTER "$OUT_PATHS")
     fi
 
     exec ${cachixBin} daemon push \