Searched refs:gzip (Results 1 – 8 of 8) sorted by relevance
18 generate_inc_file_for_target(app ${source_file} ${gen_dir}/file.bin.gz.inc --gzip)20 --gzip --gzip-mtime=42)22 --gzip --offset=100 --length=42)
17 generate_inc_file_for_target(app ${source_file_index} ${gen_dir}/index.html.gz.inc --gzip)21 …rate_inc_file_for_target(app ${source_file_not_found} ${gen_dir}/not_found_page.html.gz.inc --gzip)
18 import gzip71 if args.gzip:75 with gzip.GzipFile(fileobj=content, mode='w',
57 generate_inc_file_for_target(app src/ws_console/index.html ${gen_dir}/index.html.gz.inc --gzip)58 generate_inc_file_for_target(app src/ws_console/style.css ${gen_dir}/style.css.gz.inc --gzip)59 …nc_file_for_target(app src/ws_console/favicon-16x16.png ${gen_dir}/favicon-16x16.png.gz.inc --gzip)
48 generate_inc_file_for_target(app ${source_file_index} ${gen_dir}/index.html.gz.inc --gzip)
66 --gzip
197 example shows how gzip compressed webpage can be defined as a static resource210 .content_encoding = "gzip",220 example, a gzip compressed webpage can be generated during build, by adding the228 generate_inc_file_for_target(app ${source_file_index} ${gen_dir}/index.html.gz.inc --gzip)253 server delivers index.html.gz when the client requests index.html and adds gzip
214 2. gzip -> .gz
