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) | 
