diff options
| author | Remi Collet <remi@remirepo.net> | 2022-07-25 10:14:50 +0200 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2022-07-25 10:14:50 +0200 |
| commit | 10051994bada922d0b7c3e8da9fa10905fb97697 (patch) | |
| tree | f823fe39df582caff5175f3db86f584321ebbbfc | |
| parent | b858489413324ec9196e0cc6c8441b005038b5ca (diff) | |
minor fix
| -rwxr-xr-x | mirror | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -21,7 +21,7 @@ add) if [ -z "$2" ]; then if ! grep -q "^$2" $fic then grep remirepo.net $fic | \ - sed -e "s|http://rpms.remirepo.net|$2|" >>$fic + sed -e "s|https://rpms.remirepo.net|$2|" >>$fic if grep $2 $fic then echo "Add in $fic" |