diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2020-08-20 21:18:18 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2020-08-20 21:18:18 +0300 |
| commit | b7435015ca9b0e5a2ac33ac1e4c7a924a11397a7 (patch) | |
| tree | 6dac69025335d803bf50330741f07f1cfe0d2979 /misc | |
| parent | e9cc7718f3cf9a6eac29d02de84dd37ad0863dd8 (diff) | |
| download | inter-b7435015ca9b0e5a2ac33ac1e4c7a924a11397a7.tar.xz | |
web: update version in resource urls
Diffstat (limited to 'misc')
| -rwxr-xr-x | misc/tools/versionize.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/misc/tools/versionize.py b/misc/tools/versionize.py index 3d67e259e..25ba063bb 100755 --- a/misc/tools/versionize.py +++ b/misc/tools/versionize.py @@ -24,7 +24,7 @@ def updateCSSFile(filename): def updateHTMLFile(filename): - regex = re.compile(r'(href="[^"]+?v=)([^"]+)(")') + regex = re.compile(r'((?:href|src)="[^"]+?v=)([^"]+)(")') with open(filename, 'r') as f: s = f.read() s = regex.sub(lambda m: '%s%s%s' % (m.group(1), version, m.group(3)), s) @@ -33,7 +33,8 @@ def updateHTMLFile(filename): updateCSSFile(pjoin(BASEDIR, 'misc', 'dist', 'inter.css')) -updateHTMLFile(pjoin(BASEDIR, 'docs', '_includes', 'preload-font-files.html')) +# updateHTMLFile(pjoin(BASEDIR, 'docs', '_includes', 'preload-font-files.html')) +updateHTMLFile(pjoin(BASEDIR, 'docs', 'lab', 'index.html')) # Note: The website CSS file uses Jekyll variables to add ?v= so don't need this anymore. # updateCSSFile(pjoin(BASEDIR, 'docs', 'inter.css')) |