diff options
| author | Remi Collet <remi@remirepo.net> | 2023-04-14 09:32:05 +0200 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2023-04-14 09:32:05 +0200 |
| commit | 7504835251d8cc8f4016ecc8ae0c3d72dd8e11f8 (patch) | |
| tree | 29222339842b4bee41cfac8d5b041c49761cceb8 | |
| parent | 06a1b7b0f761546aebe1fb4c03eeaccf21b05391 (diff) | |
cleanup
| -rwxr-xr-x | mirror | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -11,7 +11,7 @@ add) if [ -z "$2" ]; then echo "Missing mirror path" exit 1 fi - for fic in */{6,7,8,??}/*/mirror */{?,??}/*/*/mirror + for fic in */{7,8,9,36,37,38}/*/mirror */{7,8,9,36,37,38}/*/*/mirror do n=0 if grep -q "/archives/" $fic @@ -37,7 +37,7 @@ on) if [ -z "$2" ]; then echo "Missing mirror path" exit 1 fi - for fic in */{6,7,8,??}/*/mirror */{?,??}/*/*/mirror + for fic in */?/*/mirror */{?,??}/*/*/mirror do if grep -q "^## .*$2" $fic then @@ -51,7 +51,7 @@ off) if [ -z "$2" ]; then echo "Missing mirror path" exit 1 fi - for fic in */{6,7,8,??}/*/mirror */{?,??}/*/*/mirror + for fic in */?/*/mirror */{?,??}/*/*/mirror do if grep -q "^http.*$2" $fic then @@ -65,7 +65,7 @@ del) if [ -z "$2" ]; then echo "Missing mirror path" exit 1 fi - for fic in */{6,7,8,??}/*/mirror */{?,??}/*/*/mirror + for fic in */?/*/mirror */{?,??}/*/*/mirror do if grep -q "$2" $fic then @@ -79,12 +79,12 @@ status) if [ -z "$2" ]; then echo "Missing mirror path" exit 1 fi - grep -- "$2" */{6,7,8,??}/*/mirror */{?,??}/*/*/mirror + grep -- "$2" */?/*/mirror */{?,??}/*/*/mirror ;; https) echo "Generating https mirror list" - for i in enterprise/{6,7}/*/mirror */{?,??}/*/*/mirror + for i in enterprise/?/*/mirror */{?,??}/*/*/mirror do j=$(dirname $i)/httpsmirror grep '^https' $i >$j |