File tree 12 files changed +29
-77
lines changed
12 files changed +29
-77
lines changed Original file line number Diff line number Diff line change 1
- <!-- REDIRECT -->
2
- <!DOCTYPE html>
3
- < html >
4
- < head >
5
- < meta http-equiv ="refresh " content ="0; url=/blog/2017/12/ml-pl-cn/ " />
6
- </ head >
7
- </ html >
1
+ {{redirect /blog/2017/12/ml-pl-cn/}}
Original file line number Diff line number Diff line change 1
- <!-- REDIRECT -->
2
- <!DOCTYPE html>
3
- < html >
4
- < head >
5
- < meta http-equiv ="refresh " content ="0; url=/blog/2017/12/ml-pl-zh/ " />
6
- </ head >
7
- </ html >
1
+ {{redirect /blog/2017/12/ml-pl-zh/}}
Original file line number Diff line number Diff line change 1
- <!-- REDIRECT -->
2
- <!DOCTYPE html>
3
- < html >
4
- < head >
5
- < meta http-equiv ="refresh " content ="0; url=/blog/2017/12/ml-pl/ " />
6
- </ head >
7
- </ html >
1
+ {{redirect /blog/2017/12/ml-pl/}}
Original file line number Diff line number Diff line change 1
- <!-- REDIRECT -->
2
- <!doctype html>
3
- < html >
4
- < head >
5
- < meta http-equiv ="refresh " content ="0; url=/downloads/ ">
6
- </ head >
7
- </ html >
1
+ {{redirect /downloads/}}
Original file line number Diff line number Diff line change 1
- <!-- REDIRECT -->
2
- <!doctype html>
3
- < html >
4
- < head >
5
- < meta http-equiv ="refresh " content ="0; url=/community/ " />
6
- </ head >
7
- </ html >
1
+ {{redirect /community/}}
Original file line number Diff line number Diff line change 1
- <!-- REDIRECT -->
2
- <!doctype html>
3
- < html >
4
- < head >
5
- < meta http-equiv ="refresh " content ="0; url=https://github.com/JuliaLang/julia/blob/master/LICENSE.md ">
6
- </ head >
7
- </ html >
1
+ {{redirect https://github.com/JuliaLang/julia/blob/master/LICENSE.md}}
Original file line number Diff line number Diff line change 1
- <!-- REDIRECT -->
2
- <!doctype html>
3
- < html >
4
- < head >
5
- < meta http-equiv ="refresh " content ="0; url=https://docs.julialang.org/en/v1/ ">
6
- </ head >
7
- </ html >
1
+ {{redirect https://docs.julialang.org/}}
Original file line number Diff line number Diff line change 1
- <!-- REDIRECT -->
2
- <!doctype html>
3
- < html >
4
- < head >
5
- < meta http-equiv ="refresh " content ="0; url=/jsoc/ ">
6
- </ head >
7
- </ html >
1
+ {{redirect /jsoc/}}
Original file line number Diff line number Diff line change 1
- <!-- REDIRECT -->
2
- <!doctype html>
3
- < html >
4
- < head >
5
- < meta http-equiv ="refresh " content ="0; url=/jsoc/ ">
6
- </ head >
7
- </ html >
1
+ {{redirect /jsoc/}}
Original file line number Diff line number Diff line change 1
- <!-- REDIRECT -->
2
- <!doctype html>
3
- < html >
4
- < head >
5
- < meta http-equiv ="refresh " content ="0; url=/learning/ ">
6
- </ head >
7
- </ html >
1
+ {{redirect /learning/}}
Original file line number Diff line number Diff line change 1
- <!-- REDIRECT -->
2
- <!doctype html>
3
- < html >
4
- < head >
5
- < meta http-equiv ="refresh " content ="0; url=https://juliastrings.github.io/utf8proc/ ">
6
- </ head >
7
- </ html >
1
+ {{redirect https://juliastrings.github.io/utf8proc/}}
Original file line number Diff line number Diff line change @@ -121,3 +121,21 @@ function hfun_recentblogposts()
121
121
end
122
122
return String (take! (io))
123
123
end
124
+
125
+ """
126
+ {{redirect url}}
127
+
128
+ Creates a HTML layout for a redirect to `url`.
129
+ """
130
+ function hfun_redirect (url)
131
+ s = """
132
+ <!-- REDIRECT -->
133
+ <!doctype html>
134
+ <html>
135
+ <head>
136
+ <meta http-equiv="refresh" content="0; url=$(url[1 ]) ">
137
+ </head>
138
+ </html>
139
+ """
140
+ return s
141
+ end
You can’t perform that action at this time.
0 commit comments