diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2016-06-03 20:10:04 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-06-03 22:21:15 +0200 |
| commit | ac76556554905d51405b33520e1e4ee5dc9a7613 (patch) | |
| tree | 95804edceede6c5706cf6b7a302ec188dfc36503 | |
| parent | f5c5274cea8cc4d7b58e374c7114f01c07019035 (diff) | |
| download | jenkins.debian.net-ac76556554905d51405b33520e1e4ee5dc9a7613.tar.xz | |
reproducible debian: drop some more '/userContent/' from the generated URLs, they are residual from the move from jenkins.d.n → reproducible.d.n one year ago
| -rwxr-xr-x | bin/reproducible_common.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index da0bf0b0..7845a966 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -185,7 +185,7 @@ set_icon() { write_icon() { # ICON and STATE_TARGET_NAME are set by set_icon() - write_page "<a href=\"/$SUITE/$ARCH/index_${STATE_TARGET_NAME}.html\" target=\"_parent\"><img src=\"/userContent/static/$ICON\" alt=\"${STATE_TARGET_NAME} icon\" /></a>" + write_page "<a href=\"/$SUITE/$ARCH/index_${STATE_TARGET_NAME}.html\" target=\"_parent\"><img src=\"/static/$ICON\" alt=\"${STATE_TARGET_NAME} icon\" /></a>" } write_page_header() { @@ -215,7 +215,7 @@ write_page_header() { write_page "<!DOCTYPE html><html><head>" write_page "<meta http-equiv=\"Content-Type\" content=\"text/html; charset=UTF-8\" />" write_page "<meta name=\"viewport\" content=\"width=device-width\" />" - write_page "<link href=\"/userContent/static/style.css\" type=\"text/css\" rel=\"stylesheet\" />" + write_page "<link href=\"/static/style.css\" type=\"text/css\" rel=\"stylesheet\" />" write_page "<title>$2</title></head>" if [ "$1" != "$MAINVIEW" ] ; then write_page "<body class=\"wrapper\"><header class=\"head\"><h2>$2</h2>" |