summaryrefslogtreecommitdiff
path: root/searx_extra/update/update_pygments.py
diff options
context:
space:
mode:
authorMarkus Heiser <markus.heiser@darmarIT.de>2021-04-26 17:19:59 +0000
committerGitHub <noreply@github.com>2021-04-26 17:19:59 +0000
commite6deddbc70647afe71002206ca3bb049d779c732 (patch)
tree090903a8ad17e553a928799fcffd1516077c6da8 /searx_extra/update/update_pygments.py
parent26de9f5c2b68effec70f47591ba285bc011243b6 (diff)
parent6b92e8c6fd0d95b81f051ef73936292eba94aba5 (diff)
Merge pull request #2 from searxng/dependabot/pip/master/pygments-2.8.1
Bump pygments from 2.8.0 to 2.8.1 and run ./manage pyenv.cmd searx_extra/update/update_pygments.py
Diffstat (limited to 'searx_extra/update/update_pygments.py')
-rwxr-xr-xsearx_extra/update/update_pygments.py17
1 files changed, 12 insertions, 5 deletions
diff --git a/searx_extra/update/update_pygments.py b/searx_extra/update/update_pygments.py
index 067cd4594..bdf03227e 100755
--- a/searx_extra/update/update_pygments.py
+++ b/searx_extra/update/update_pygments.py
@@ -92,7 +92,7 @@ RULE_CODE_LINENOS = """ .linenos {
-ms-user-select: none;
user-select: none;
cursor: default;
-
+
&::selection {
background: transparent; /* WebKit/Blink Browsers */
}
@@ -111,7 +111,7 @@ def get_output_filename(relative_name):
def get_css(cssclass, style):
result = f"""/*
- this file is generated automatically by searx_extra/update/update_pygments.py
+ this file is generated automatically by searx_extra/update/update_pygments.py
using pygments version {pygments.__version__}
*/\n\n"""
css_text = HtmlFormatter(style=style).get_style_defs(cssclass)
@@ -124,13 +124,20 @@ def get_css(cssclass, style):
def main():
- with open(get_output_filename('static/themes/oscar/src/less/logicodev/pygments.less'), 'w') as f:
+
+ fname = 'static/themes/oscar/src/less/logicodev/pygments.less'
+ print("update: %s" % fname)
+ with open(get_output_filename(fname), 'w') as f:
f.write(get_css(CSSCLASS, LogicodevStyle))
- with open(get_output_filename('static/themes/oscar/src/less/pointhi/pygments.less'), 'w') as f:
+ fname = 'static/themes/oscar/src/less/pointhi/pygments.less'
+ print("update: %s" % fname)
+ with open(get_output_filename(fname), 'w') as f:
f.write(get_css(CSSCLASS, 'default'))
- with open(get_output_filename('static/themes/simple/less/pygments.less'), 'w') as f:
+ fname = 'static/themes/simple/less/pygments.less'
+ print("update: %s" % fname)
+ with open(get_output_filename(fname), 'w') as f:
f.write(get_css(CSSCLASS, 'default'))