mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-23 08:02:02 +00:00
61 lines
2.0 KiB
Python
61 lines
2.0 KiB
Python
|
import os
|
||
|
|
|
||
|
|
|
||
|
|
def write_redirect_html(out_path, to_url):
|
||
|
|
out_dir = os.path.dirname(out_path)
|
||
|
|
try:
|
||
|
|
os.makedirs(out_dir)
|
||
|
|
except OSError:
|
||
|
|
pass
|
||
|
|
with open(out_path, 'w') as f:
|
||
|
|
f.write(f'''<!--[if IE 6]> Redirect: {to_url} <![endif]-->
|
||
|
|
<!DOCTYPE HTML>
|
||
|
|
<html lang="en-US">
|
||
|
|
<head>
|
||
|
|
<meta charset="UTF-8">
|
||
|
|
<meta http-equiv="refresh" content="0; url={to_url}">
|
||
|
|
<script type="text/javascript">
|
||
|
|
window.location.href = "{to_url}";
|
||
|
|
</script>
|
||
|
|
<title>Page Redirection</title>
|
||
|
|
</head>
|
||
|
|
<body>
|
||
|
|
If you are not redirected automatically, follow this <a href="{to_url}">link</a>.
|
||
|
|
</body>
|
||
|
|
</html>''')
|
||
|
|
|
||
|
|
|
||
|
|
def build_redirect_html(args, from_path, to_path):
|
||
|
|
for lang in args.lang.split(','):
|
||
|
|
out_path = os.path.join(
|
||
|
|
args.docs_output_dir, lang,
|
||
|
|
from_path.replace('/index.md', '/index.html').replace('.md', '/index.html')
|
||
|
|
)
|
||
|
|
version_prefix = f'/{args.version_prefix}/' if args.version_prefix else '/'
|
||
|
|
target_path = to_path.replace('/index.md', '/').replace('.md', '/')
|
||
|
|
to_url = f'/docs{version_prefix}{lang}/{target_path}'
|
||
|
|
to_url = to_url.strip()
|
||
|
|
write_redirect_html(out_path, to_url)
|
||
|
|
|
||
|
|
|
||
|
|
def build_redirects(args):
|
||
|
|
with open(os.path.join(args.docs_dir, 'redirects.txt'), 'r') as f:
|
||
|
|
for line in f:
|
||
|
|
from_path, to_path = line.split(' ', 1)
|
||
|
|
build_redirect_html(args, from_path, to_path)
|
||
|
|
|
||
|
|
|
||
|
|
def build_static_redirects(args):
|
||
|
|
for static_redirect in [
|
||
|
|
('benchmark.html', '/benchmark/dbms/'),
|
||
|
|
('benchmark_hardware.html', '/benchmark/hardware/'),
|
||
|
|
('tutorial.html', '/docs/en/getting_started/tutorial/',),
|
||
|
|
('reference_en.html', '/docs/en/single/', ),
|
||
|
|
('reference_ru.html', '/docs/ru/single/',),
|
||
|
|
('docs/index.html', '/docs/en/',),
|
||
|
|
]:
|
||
|
|
write_redirect_html(
|
||
|
|
os.path.join(args.output_dir, static_redirect[0]),
|
||
|
|
static_redirect[1]
|
||
|
|
)
|