can't log in to bug trac to create new report

[Tariq Rashid]

Over the years I've created a small number of bug reports
https://www.lyx.org/trac/query?reporter=project_2501

However today I wanted to log into bug trac and create a new one but was
unable to.
Have accounts been disabled?

Anyway - I wanted to report that current lyx 2.3.8 on macos does not pick
up new language definition files for the TeX listings package. Several
online comments elsewhere suggest the list of languages in the lyx UI are
hardcoded. Overriding with "no language" and using "language={lean}" in the
advanced options with override checking does seem to work with some other
preamble hacks.

So my request rather than a bug is for Lyx to create its list from the
definition files when "Reconfigured".

---

for full detail here is what I did:

install lean listings style from

https://github.com/leanprover/lean4/blob/master/doc/latex/lstlean.tex

rename it to .sty and put it in

/usr/local/texlive/2024/texmf-dist/tex/latex/listings

update listings.cfg with
{lstlang0.sty,lstlang1.sty,lstlang2.sty,lstlang3.sty,lstlean.sty}

then run texhash as root

I also had to force enable amssymb because lean code uses unicode symbols
like ℝ regularly in its code

then as preamble

\usepackage{color}
\definecolor{keywordcolor}{rgb}{0.7, 0.1, 0.1}   % red
\definecolor{tacticcolor}{rgb}{0.0, 0.1, 0.6}    % blue
\definecolor{commentcolor}{rgb}{0.4, 0.4, 0.4}   % grey
\definecolor{symbolcolor}{rgb}{0.0, 0.1, 0.6}    % blue
\definecolor{sortcolor}{rgb}{0.1, 0.5, 0.1}      % green
\definecolor{attributecolor}{rgb}{0.7, 0.1, 0.1} % red
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lyx.org/pipermail/lyx-users/attachments/20240605/975f7e38/attachment.html>