Index: tools/md_browser/update-css.sh |
diff --git a/tools/md_browser/update-css.sh b/tools/md_browser/update-css.sh |
new file mode 100755 |
index 0000000000000000000000000000000000000000..cfb097e9fb1eaf247a0656c3733f00b174efeb66 |
--- /dev/null |
+++ b/tools/md_browser/update-css.sh |
@@ -0,0 +1,14 @@ |
+#!/bin/bash |
+# Copyright 2017 The Chromium Authors. All rights reserved. |
+# Use of this source code is governed by a BSD-style license that can be |
+# found in the LICENSE file. |
+ |
+URL_BASE='https://gerrit.googlesource.com/gitiles/+/HEAD/gitiles-servlet/src/main/resources/com/google/gitiles/static' |
+ |
+# Quickly pull down the latest gitiles css files. |
+for css in base doc prettify/prettify; do |
+ output="${css#*/}.css" |
+ url="${URL_BASE}/${css}.css?format=TEXT" |
+ echo "Updating ${output}" |
+ curl "${url}" | base64 -d >"${output}" |
+done |