diff options
| author | Erich Eckner <git@eckner.net> | 2019-11-08 21:07:28 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-11-08 21:07:28 +0100 |
| commit | f922c140c97f4b625bb31e6848da48b6c6043fd3 (patch) | |
| tree | efd5f5177a8ca44d1f4548c1c9435d35be8f9d8b | |
| parent | c227efc1d2cd9058b07998304269fd941113d11d (diff) | |
| download | releng-f922c140c97f4b625bb31e6848da48b6c6043fd3.tar.xz | |
update-website: ignore trailing / in mirrorlist
| -rwxr-xr-x | update-website | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update-website b/update-website index 3e4360d..64b0582 100755 --- a/update-website +++ b/update-website @@ -164,7 +164,7 @@ fi )"' } /^#Server = /{ - s|^#Server = \(.*//\)\([^/]*\)\(/.*\)\$arch/\$repo$|'"$( + s|^#Server = \(.*//\)\([^/]*\)\(/.*\)\$arch/\$repo/\?$|'"$( printf \ ' %s\\n' \ '<li><a href="\1\2\3archisos/"' \ |