mirrors/searxng
1
0
Fork 0
mirror of https://github.com/searxng/searxng.git synced 2024-11-22 19:01:00 +00:00
Code Issues Projects Releases Wiki Activity

[mod] update_pygments -- prompt filenames of updated files

Browse source 
BTW: remove trailing whitespace

Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
This commit is contained in:
Markus Heiser 2021-04-26 19:06:30 +02:00
parent 3cf97774da
commit ec10ba7fcb
1 changed files with 12 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
searx_extra/update/update_pygments.py
View file

@ -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'))