ag2435's picture
copying backend space from demo leaderboard
4ab6298 verified
raw
history blame
1.11 kB
from io import StringIO
from bs4 import BeautifulSoup
from rich.console import Console
from rich.syntax import Syntax
from src.display.css_html_js import style_content
from src.envs import NUM_LINES_VISUALIZE
from src.logging import log_file
def log_file_to_html_string(reverse=True):
with open(log_file, "rt") as f:
lines = f.readlines()
lines = lines[-NUM_LINES_VISUALIZE:]
if reverse:
lines = reversed(lines)
output = "".join(lines)
syntax = Syntax(output, "python", theme="monokai", word_wrap=True)
console = Console(record=True, width=150, style="#272822", file=StringIO())
console.print(syntax)
html_content = console.export_html(inline_styles=True)
# Parse the HTML content using BeautifulSoup
soup = BeautifulSoup(html_content, "lxml")
# Modify the <pre> tag and add custom styles
pre_tag = soup.pre
pre_tag["class"] = "scrollable"
del pre_tag["style"]
# Add your custom styles and the .scrollable CSS to the <style> tag
style_tag = soup.style
style_tag.append(style_content)
return soup.prettify()