mirror of
https://github.com/dart-lang/sdk
synced 2024-09-15 21:40:07 +00:00
f34fae854a
Readd samples, samples-dev, tools/testing/bin, third_party removed by cleanup (no history, sorry) Add DEPS file which will replace the old all.deps and standalone.deps Add tools/deps/dartium.deps replacing the old dartium.deps (but now editable from a normal checkout) Fixup tools/utils.py to use the new archiving schema (git count for be, version number for dev/stable Fix codereview.settings
79 lines
2.3 KiB
Python
Executable file
79 lines
2.3 KiB
Python
Executable file
# Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file
|
|
# for details. All rights reserved. Use of this source code is governed by a
|
|
# BSD-style license that can be found in the LICENSE file.
|
|
|
|
#!/usr/bin/python2.6
|
|
#
|
|
|
|
"""
|
|
Usage: gen_manifest.py DIRECTORY EXTENSIONS CACHE-FILE HTML-FILES...
|
|
|
|
Outputs an app cache manifest file including (recursively) all files with the
|
|
provided in the directory with the given extensions. Each html files is then
|
|
processed and a corresponding <name>-cache.html file is created, pointing at
|
|
the appropriate cache manifest file, which is saved as <name>-cache.manifest.
|
|
|
|
Example:
|
|
gen_manifest.py war *.css,*.html,*.js,*.png cache.manifest foo.html bar.html
|
|
|
|
Produces: foo-cache.html, bar-cache.html, and cache.manifest
|
|
"""
|
|
|
|
import fnmatch
|
|
import os
|
|
import random
|
|
import sys
|
|
import datetime
|
|
|
|
cacheDir = sys.argv[1]
|
|
extensions = sys.argv[2].split(',')
|
|
manifestName = sys.argv[3]
|
|
htmlFiles = sys.argv[4:]
|
|
|
|
os.chdir(cacheDir)
|
|
print "Generating manifest from root path: " + cacheDir
|
|
|
|
patterns = extensions + htmlFiles
|
|
def matches(file):
|
|
for pattern in patterns:
|
|
if fnmatch.fnmatch(file, pattern):
|
|
return True
|
|
return False
|
|
|
|
def findFiles(rootDir):
|
|
for root, dirs, files in os.walk(rootDir):
|
|
for f in files:
|
|
# yields this file relative to the given directory
|
|
yield os.path.join(root, f)[(len(rootDir) + 1):]
|
|
|
|
manifest = []
|
|
manifest.append("CACHE MANIFEST")
|
|
|
|
# print out a random number to force the browser to update the cache manifest
|
|
manifest.append("# %s" % datetime.datetime.now().isoformat())
|
|
|
|
# print out each file to be included in the cache manifest
|
|
manifest.append("CACHE:")
|
|
|
|
manifest += (f for f in findFiles('.') if matches(f))
|
|
|
|
# force the browser to request any other files over the network,
|
|
# even when offline (better failure mode)
|
|
manifest.append("NETWORK:")
|
|
manifest.append("*")
|
|
|
|
with open(manifestName, 'w') as f:
|
|
f.writelines(m + '\n' for m in manifest)
|
|
|
|
print "Created manifest file: " + manifestName
|
|
|
|
for htmlFile in htmlFiles:
|
|
cachedHtmlFile = htmlFile.replace('.html', '-cache.html')
|
|
text = open(htmlFile, 'r').read()
|
|
text = text.replace('<html>', '<html manifest="%s">' % manifestName, 1)
|
|
with open(cachedHtmlFile, 'w') as output:
|
|
output.write(text)
|
|
print "Processed html file: %s -> %s" % (htmlFile, cachedHtmlFile)
|
|
|
|
print "Successfully generated manifest and html files"
|