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/push-to-wiki.sh | |
| 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/push-to-wiki.sh')
| -rwxr-xr-x | util/board_status/to-wiki/push-to-wiki.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |