diff options
| author | Paul Menzel <paulepanter@users.sourceforge.net> | 2017-06-05 12:33:23 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2017-06-07 12:04:50 +0200 |
| commit | a8843dee58d15de6860b682975ee01ee61893670 (patch) | |
| tree | f26fe56b7ddf2452dadd6a9de88819d789410f91 /util/board_status/to-wiki | |
| parent | 619e83045a3dfc189cf12b2f755b7a888c428382 (diff) | |
Use more secure HTTPS URLs for coreboot sites
The coreboot sites support HTTPS, and requests over HTTP with SSL are
also redirected. So use the more secure URLs, which also saves a
request most of the times, as nothing needs to be redirected.
Run the command below to replace all occurences.
```
$ git grep -l -E 'http://(www.|review.|)coreboot.org'
| xargs sed -i 's,http://\(.*\)coreboot.org,https://\1coreboot.org,g'
```
Change-Id: If53f8b66f1ac72fb1a38fa392b26eade9963c369
Signed-off-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-on: https://review.coreboot.org/20034
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/board_status/to-wiki')
| -rw-r--r-- | util/board_status/to-wiki/foreword.wiki | 2 | ||||
| -rwxr-xr-x | util/board_status/to-wiki/push-to-wiki.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/util/board_status/to-wiki/foreword.wiki b/util/board_status/to-wiki/foreword.wiki index f0ae85485d..95ef38a5c5 100644 --- a/util/board_status/to-wiki/foreword.wiki +++ b/util/board_status/to-wiki/foreword.wiki @@ -30,7 +30,7 @@ list all known names but some names might be missing. If the board is not found in the corebootv4's source code, there might be some form of support that is not ready yet for inclusion in coreboot, usually people willing to send their patches to coreboot goes through -[http://review.coreboot.org gerrit], so looking there could find some +[https://review.coreboot.org gerrit], so looking there could find some code for boards that are not yet merged. = Vendor trees = diff --git a/util/board_status/to-wiki/push-to-wiki.sh b/util/board_status/to-wiki/push-to-wiki.sh index 58e2cbb064..6ad3c4a3f8 100755 --- a/util/board_status/to-wiki/push-to-wiki.sh +++ b/util/board_status/to-wiki/push-to-wiki.sh @@ -3,7 +3,7 @@ # $2: wiki page to update . ~/.wikiaccount -WIKIAPI="http://www.coreboot.org/api.php" +WIKIAPI="https://www.coreboot.org/api.php" TITLE="$2" cookie_jar="$HOME/.wikicookiejar" #Will store file in wikifile |