diff options
| author | Thomas Pointhuber <thomas.pointhuber@gmx.at> | 2014-10-15 14:52:27 +0200 |
|---|---|---|
| committer | Thomas Pointhuber <thomas.pointhuber@gmx.at> | 2014-10-15 14:52:27 +0200 |
| commit | 1e3e6465845236b027ce8df9ab5fcc78ffe3f1d1 (patch) | |
| tree | 69822d7c6dbe32174db3451596729ab756af0e60 /searx/https_rules/Github-Pages.xml | |
| parent | bb126da0fb49d1c9640eeb3371d0bbcf005bcd2b (diff) | |
import basic https rules from https-everywhere repository
* licenced under GPLv3+
* downloaded from https://github.com/EFForg/https-everywhere
Diffstat (limited to 'searx/https_rules/Github-Pages.xml')
| -rw-r--r-- | searx/https_rules/Github-Pages.xml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/searx/https_rules/Github-Pages.xml b/searx/https_rules/Github-Pages.xml new file mode 100644 index 000000000..d3be58a4c --- /dev/null +++ b/searx/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> |