diff options
| author | Paul Menzel <paulepanter@users.sourceforge.net> | 2017-06-05 12:46:00 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2017-06-07 12:05:44 +0200 |
| commit | 59e21136708a7619c24c3a79bdb87431b5b624df (patch) | |
| tree | 533dd48213002b37b320cc51a88f8e337aea94ad /src | |
| parent | a8843dee58d15de6860b682975ee01ee61893670 (diff) | |
| download | coreboot-59e21136708a7619c24c3a79bdb87431b5b624df.tar.xz | |
Use www.coreboot.org over coreboot.org
<https://coreboot.org> is redirected to <https://www.coreboot.org>.
```
$ curl -I https://coreboot.org
HTTP/1.1 301 Moved Permanently
Server: nginx/1.8.1
Date: Mon, 05 Jun 2017 10:41:33 GMT
Content-Type: text/html
Content-Length: 184
Connection: keep-alive
Location: https://www.coreboot.org/
```
So use the command below to use the final location to save a redirect.
```
$ git grep -l https://coreboot.org \
| xargs sed -i 's,https://coreboot.org,https://www.coreboot.org,g'
```
Change-Id: I4176c20ef31399f0063b41e3a0029cca0c1b0ff3
Signed-off-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-on: https://review.coreboot.org/20035
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions