Here:
http://git.sagemath.org/sage.git/diff/src/doc/common/themes/sage/theme.conf?id=8a1385636d6f256415b07462114ccecc46efedf8
On 05/04/16 11:20, François Bissey wrote:
Indeed I do not have this file. I think in the latest changes for the
sphinx upgrade something as been changed from "default" to "classic"
(and there is a classic.css). I wonder if we need a matching change
in sagenb.
Francois
On 05/04/16 11:13, Vincent Delecroix wrote:
Hello,
Trying to access the thematic tutorials in the sage-notebook in
sage-7.2.beta6 the main css is not found
2016-05-03 18:11:42-0500 [HTTPChannel,5,127.0.0.1] Starting protocol
<twisted.names.dns.DNSDatagramProtocol object at 0x7f7b76934510>
[Errno 2] No such file or directory:
u'/opt/sage/local/share/doc/sage/html/en/prep/_static/default.css'
Traceback (most recent call last):
File
"/opt/sage/local/lib/python2.7/site-packages/Flask-0.10.1-py2.7.egg/flask/app.py",
line 1475, in full_dispatch_request
rv = self.dispatch_request()
File
"/opt/sage/local/lib/python2.7/site-packages/Flask-0.10.1-py2.7.egg/flask/app.py",
line 1461, in dispatch_request
return self.view_functions[rule.endpoint](**req.view_args)
File
"/opt/sage/local/lib/python2.7/site-packages/sagenb-0.11.7-py2.7.egg/sagenb/flask_version/decorators.py",
line 22, in wrapper
return f(*args, **kwds)
File
"/opt/sage/local/lib/python2.7/site-packages/sagenb-0.11.7-py2.7.egg/sagenb/flask_version/doc.py",
line 73, in doc_live
return send_file(filename)
File
"/opt/sage/local/lib/python2.7/site-packages/Flask-0.10.1-py2.7.egg/flask/helpers.py",
line 520, in send_file
file = open(filename, 'rb')
IOError: [Errno 2] No such file or directory:
u'/opt/sage/local/share/doc/sage/html/en/prep/_static/default.css'
Vincent
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.