diff options
author | davidovski <david@davidovski.xyz> | 2022-01-18 15:17:05 +0000 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2022-01-18 15:17:05 +0000 |
commit | ddb46bb215e3bc6d4c5f0f99905be90d7f185d51 (patch) | |
tree | 4838bbe32b36f7b50292438c5c7d9c2d5d695133 | |
parent | 13f70a29238f059aa1c1abbece7dd78513bffc60 (diff) |
fixed grep inversion
-rwxr-xr-x | build-repo.sh | 2 |
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) |