summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordavidovski <david@davidovski.xyz>2022-01-18 15:17:05 +0000
committerdavidovski <david@davidovski.xyz>2022-01-18 15:17:05 +0000
commitddb46bb215e3bc6d4c5f0f99905be90d7f185d51 (patch)
tree4838bbe32b36f7b50292438c5c7d9c2d5d695133
parent13f70a29238f059aa1c1abbece7dd78513bffc60 (diff)
fixed grep inversion
-rwxr-xr-xbuild-repo.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/build-repo.sh b/build-repo.sh
index 3c2ab6e..d6ac627 100755
--- a/build-repo.sh
+++ b/build-repo.sh
@@ -15,7 +15,7 @@ build () {
echo-head "repo" >> $REPOS_INDEX
echo "<h1>repo</h1>" >> $REPOS_INDEX
- for REPO in $(du -h buildfiles/repo/* | awk '{print $2}' | sort -r | grep -i skip); do
+ for REPO in $(du -h buildfiles/repo/* | awk '{print $2}' | sort -r | grep -v skip); do
REPO_NAME=$(echo $REPO | cut -d"/" -f2-)
REPO_DIR=$(realpath dist/$REPO_NAME)