diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-02 12:03:35 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-11-02 12:03:35 +0100 |
| commit | 5b26b3ab7dc0ec7b7cc10a601720b8c4bbc5e0e9 (patch) | |
| tree | 4b52aeaa370307fe849d7c50c4f648ae7edabc82 | |
| parent | 3c4c9c00fd36922ba0edc7e010270bfd7a53297c (diff) | |
| download | releng-5b26b3ab7dc0ec7b7cc10a601720b8c4bbc5e0e9.tar.xz | |
update-website: adopt to new mirrorlist layout
| -rwxr-xr-x | update-website | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/update-website b/update-website index 50bdedf..d3a846c 100755 --- a/update-website +++ b/update-website @@ -38,8 +38,8 @@ trap cleanup EXIT "${0%/*}/flag-names" )"' } - /^# Server = /{ - s|^# Server = \(.*//\)\([^/]*\)\(/.*\)\$arch/\$repo$|'"$( + /^#Server = /{ + s|^#Server = \(.*//\)\([^/]*\)\(/.*\)\$arch/\$repo$|'"$( printf \ ' %s\\n' \ '<li><a href="\1\2\3archisos/"' \ |