| 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
|
|
|