diff options
Diffstat (limited to 'misc/tools/versionize-css.py')
-rwxr-xr-x | misc/tools/versionize-css.py | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/misc/tools/versionize-css.py b/misc/tools/versionize-css.py deleted file mode 100755 index 4649ad88c..000000000 --- a/misc/tools/versionize-css.py +++ /dev/null @@ -1,32 +0,0 @@ -#!/usr/bin/env python -# encoding: utf8 -# -# Updates the "?v=x" in docs/inter-ui.css -# -import os, sys -from os.path import dirname, basename, abspath, relpath, join as pjoin -sys.path.append(abspath(pjoin(dirname(__file__), 'tools'))) -from common import BASEDIR, getVersion - -import re - - -def main(): - version = getVersion() - regex = re.compile(r'(url\("[^"]+?v=)([^"]+)("\))') - cssFileName = pjoin(BASEDIR, 'docs', 'inter-ui.css') - - s = '' - with open(cssFileName, 'r') as f: - s = f.read() - - s = regex.sub( - lambda m: '%s%s%s' % (m.group(1), version, m.group(3)), - s - ) - - with open(cssFileName, 'w') as f: - f.write(s) - -if __name__ == '__main__': - main() |