cschwan / sage-on-gentoo

(Unofficial) Gentoo Overlay for Sage- and Sage-related ebuilds
83 stars 26 forks source link

building sage-doc (html docs) #763

Closed strogdon closed 12 months ago

strogdon commented 12 months ago

The first item is probably cosmetic but I'm curious as to the origin.

$ sage
Traceback (most recent call last):
  File "/usr/lib/python-exec/python3.11/sage-config", line 8, in <module>
    sys.exit(_main())
             ^^^^^^^
  File "/usr/lib/python3.11/site-packages/_sage_conf/__main__.py", line 15, in _main
    stdout.write('{}\n'.format(d[args.VARIABLE]))
                               ~^^^^^^^^^^^^^^^
KeyError: 'SAGE_ROOT'
Traceback (most recent call last):
  File "/usr/lib/python-exec/python3.11/sage-config", line 8, in <module>
    sys.exit(_main())
             ^^^^^^^
  File "/usr/lib/python3.11/site-packages/_sage_conf/__main__.py", line 15, in _main
    stdout.write('{}\n'.format(d[args.VARIABLE]))
                               ~^^^^^^^^^^^^^^^
KeyError: 'SAGE_LOCAL'
strogdon commented 12 months ago

With the KeyErrors sage will start with the above.

kiwifb commented 12 months ago

The sage-doc build thing started with either the latest furo or sphinx 7.1. I do not remember which one. I enabled them almost at the same time.

The keyerror stuff is new and I have not noticed it. Will inspect ASAP.

strogdon commented 12 months ago

I thought sphinx was maybe the reason but I hadn't noticed the furo upgrade. I'm now using furo-2023.9.10.

kiwifb commented 12 months ago

The previous version of furo was causing trouble and would not work with sphinx 7.1.

kiwifb commented 12 months ago

OK, a "good" action never goes unpunished. As a simplification of the stuff I do to sage-conf, I have let it install the sage-config executable. It is executed by the sage start up script when found and it is the cause of the complaints. I will make it disappear again.

kiwifb commented 12 months ago

keyerror fixed by 36e29168bc6202873670571cd39dde260e97d013, sync and rebuild sage-conf. The offending messages should go away.

strogdon commented 12 months ago

Looks good here.