Skip to content

Commit 3af523e

Browse files
stragerstrager
committed
Website: fix broken links (e.g. /cli.html), attempt #2
Commit 4ae3fab added cli.md, etc. to redirect users from /cli.html to /cli/. However, it seems that these don't work on GitHub Pages. (I tried deploying _config.yml to no avail.) This means that links like https://quick-lint-js/cli.html (which people may have bookmarked) are currently broken. Fix the broken URLs with a manual, HTML-based redirect. It's gross, but it should work.
1 parent 6dc39bf commit 3af523e

File tree

9 files changed

+151
-103
lines changed

9 files changed

+151
-103
lines changed

‎website/_config.yml

Lines changed: 0 additions & 25 deletions
This file was deleted.

‎website/cli.html

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
<!DOCTYPE html>
2+
<!-- Copyright (C) 2020 Matthew Glazar -->
3+
<!-- See end of file for extended copyright information. -->
4+
<html>
5+
<head>
6+
<!-- /cli.html is an old link. Redirect users to /cli/ instead. -->
7+
<meta charset="utf-8" />
8+
<link rel="canonical" href="cli/" />
9+
<meta http-equiv="refresh" content="0; url=cli/" />
10+
</head>
11+
<body>
12+
<p>
13+
This page has moved.
14+
<a href="cli/">Click here to go to the new location.</a>
15+
</p>
16+
</body>
17+
</html>
18+
19+
<!--
20+
quick-lint-js finds bugs in JavaScript programs.
21+
Copyright (C) 2020 Matthew Glazar
22+
23+
This file is part of quick-lint-js.
24+
25+
quick-lint-js is free software: you can redistribute it and/or modify
26+
it under the terms of the GNU General Public License as published by
27+
the Free Software Foundation, either version 3 of the License, or
28+
(at your option) any later version.
29+
30+
quick-lint-js is distributed in the hope that it will be useful,
31+
but WITHOUT ANY WARRANTY; without even the implied warranty of
32+
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
33+
GNU General Public License for more details.
34+
35+
You should have received a copy of the GNU General Public License
36+
along with quick-lint-js. If not, see <https://www.gnu.org/licenses/>.
37+
-->

‎website/cli.md

Lines changed: 0 additions & 25 deletions
This file was deleted.

‎website/hiring.html

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
<!DOCTYPE html>
2+
<!-- Copyright (C) 2020 Matthew Glazar -->
3+
<!-- See end of file for extended copyright information. -->
4+
<html>
5+
<head>
6+
<!-- /hiring.html is an old link. Redirect users to /hiring/ instead. -->
7+
<meta charset="utf-8" />
8+
<link rel="canonical" href="hiring/" />
9+
<meta http-equiv="refresh" content="0; url=hiring/" />
10+
</head>
11+
<body>
12+
<p>
13+
This page has moved.
14+
<a href="hiring/">Click here to go to the new location.</a>
15+
</p>
16+
</body>
17+
</html>
18+
19+
<!--
20+
quick-lint-js finds bugs in JavaScript programs.
21+
Copyright (C) 2020 Matthew Glazar
22+
23+
This file is part of quick-lint-js.
24+
25+
quick-lint-js is free software: you can redistribute it and/or modify
26+
it under the terms of the GNU General Public License as published by
27+
the Free Software Foundation, either version 3 of the License, or
28+
(at your option) any later version.
29+
30+
quick-lint-js is distributed in the hope that it will be useful,
31+
but WITHOUT ANY WARRANTY; without even the implied warranty of
32+
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
33+
GNU General Public License for more details.
34+
35+
You should have received a copy of the GNU General Public License
36+
along with quick-lint-js. If not, see <https://www.gnu.org/licenses/>.
37+
-->

‎website/hiring.md

Lines changed: 0 additions & 25 deletions
This file was deleted.

‎website/install.html

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
<!DOCTYPE html>
2+
<!-- Copyright (C) 2020 Matthew Glazar -->
3+
<!-- See end of file for extended copyright information. -->
4+
<html>
5+
<head>
6+
<!-- /install.html is an old link. Redirect users to /install/ instead. -->
7+
<meta charset="utf-8" />
8+
<link rel="canonical" href="install/" />
9+
<meta http-equiv="refresh" content="0; url=install/" />
10+
</head>
11+
<body>
12+
<p>
13+
This page has moved.
14+
<a href="install/">Click here to go to the new location.</a>
15+
</p>
16+
</body>
17+
</html>
18+
19+
<!--
20+
quick-lint-js finds bugs in JavaScript programs.
21+
Copyright (C) 2020 Matthew Glazar
22+
23+
This file is part of quick-lint-js.
24+
25+
quick-lint-js is free software: you can redistribute it and/or modify
26+
it under the terms of the GNU General Public License as published by
27+
the Free Software Foundation, either version 3 of the License, or
28+
(at your option) any later version.
29+
30+
quick-lint-js is distributed in the hope that it will be useful,
31+
but WITHOUT ANY WARRANTY; without even the implied warranty of
32+
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
33+
GNU General Public License for more details.
34+
35+
You should have received a copy of the GNU General Public License
36+
along with quick-lint-js. If not, see <https://www.gnu.org/licenses/>.
37+
-->

‎website/license.html

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
<!DOCTYPE html>
2+
<!-- Copyright (C) 2020 Matthew Glazar -->
3+
<!-- See end of file for extended copyright information. -->
4+
<html>
5+
<head>
6+
<!-- /license.html is an old link. Redirect users to /license/ instead. -->
7+
<meta charset="utf-8" />
8+
<link rel="canonical" href="license/" />
9+
<meta http-equiv="refresh" content="0; url=license/" />
10+
</head>
11+
<body>
12+
<p>
13+
This page has moved.
14+
<a href="license/">Click here to go to the new location.</a>
15+
</p>
16+
</body>
17+
</html>
18+
19+
<!--
20+
quick-lint-js finds bugs in JavaScript programs.
21+
Copyright (C) 2020 Matthew Glazar
22+
23+
This file is part of quick-lint-js.
24+
25+
quick-lint-js is free software: you can redistribute it and/or modify
26+
it under the terms of the GNU General Public License as published by
27+
the Free Software Foundation, either version 3 of the License, or
28+
(at your option) any later version.
29+
30+
quick-lint-js is distributed in the hope that it will be useful,
31+
but WITHOUT ANY WARRANTY; without even the implied warranty of
32+
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
33+
GNU General Public License for more details.
34+
35+
You should have received a copy of the GNU General Public License
36+
along with quick-lint-js. If not, see <https://www.gnu.org/licenses/>.
37+
-->

‎website/license.md

Lines changed: 0 additions & 25 deletions
This file was deleted.

‎website/prepare-for-publish

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -13,14 +13,14 @@ output_directory="$(cd "${output_directory}" && pwd)"
1313
cd "$(dirname "${0}")"
1414

1515
cp atom.svg "${output_directory}/"
16-
cp cli.md "${output_directory}/"
16+
cp cli.html "${output_directory}/"
1717
cp debian.svg "${output_directory}/"
1818
cp emacs.svg "${output_directory}/"
1919
cp gnome-terminal.svg "${output_directory}/"
20-
cp hiring.md "${output_directory}/"
20+
cp hiring.html "${output_directory}/"
2121
cp homebrew.svg "${output_directory}/"
2222
cp index.html "${output_directory}/"
23-
cp license.md "${output_directory}/"
23+
cp license.html "${output_directory}/"
2424
cp linux.svg "${output_directory}/"
2525
cp macos.svg "${output_directory}/"
2626
cp main.css "${output_directory}/"

0 commit comments

Comments
 (0)