diff options
| author | Adam Tauber <asciimoo@gmail.com> | 2015-04-13 00:30:12 +0200 |
|---|---|---|
| committer | Adam Tauber <asciimoo@gmail.com> | 2015-04-13 00:30:12 +0200 |
| commit | d2a636f75d24953f5094ea97ab54a8a4353a65ff (patch) | |
| tree | 22da091679dd5b9460391a50810b96b80020e15f /searx/plugins/https_rules/Github-Pages.xml | |
| parent | 146928a74980b90de614b71512334ac0a6373048 (diff) | |
[mod] https rewrite pluginification
Diffstat (limited to 'searx/plugins/https_rules/Github-Pages.xml')
| -rw-r--r-- | searx/plugins/https_rules/Github-Pages.xml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/searx/plugins/https_rules/Github-Pages.xml b/searx/plugins/https_rules/Github-Pages.xml new file mode 100644 index 000000000..d3be58a4c --- /dev/null +++ b/searx/plugins/https_rules/Github-Pages.xml @@ -0,0 +1,11 @@ +<!-- + For other GitHub coverage, see Github.xml. +--> +<ruleset name="GitHub Pages"> + + <target host="*.github.io" /> + + <rule from="^http://([^/@:\.]+)\.github\.io/" + to="https://$1.github.io/" /> + +</ruleset> |