mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-23 08:02:02 +00:00
46 lines
1.3 KiB
Python
46 lines
1.3 KiB
Python
import logging
|
|
import os
|
|
import shutil
|
|
|
|
import cssmin
|
|
import htmlmin
|
|
import jsmin
|
|
|
|
def build_website(args):
|
|
logging.info('Building website')
|
|
shutil.copytree(
|
|
args.website_dir,
|
|
args.output_dir,
|
|
ignore=shutil.ignore_patterns(
|
|
'*.md',
|
|
'*.sh',
|
|
'build',
|
|
'docs',
|
|
'public',
|
|
'node_modules'
|
|
)
|
|
)
|
|
|
|
def minify_website(args):
|
|
for root, _, filenames in os.walk(args.output_dir):
|
|
for filename in filenames:
|
|
path = os.path.join(root, filename)
|
|
if not (
|
|
filename.endswith('.html') or
|
|
filename.endswith('.css') or
|
|
filename.endswith('.js')
|
|
):
|
|
continue
|
|
|
|
logging.info('Minifying %s', path)
|
|
with open(path, 'rb') as f:
|
|
content = f.read().decode('utf-8')
|
|
if filename.endswith('.html'):
|
|
content = htmlmin.minify(content, remove_empty_space=False)
|
|
elif filename.endswith('.css'):
|
|
content = cssmin.cssmin(content)
|
|
elif filename.endswith('.js'):
|
|
content = jsmin.jsmin(content)
|
|
with open(path, 'wb') as f:
|
|
f.write(content.encode('utf-8'))
|