#10637: Implement sage -sws2rst
------------------------------------------------------------+---------------
Reporter: nthiery | Owner:
jason, mpatel, was
Type: enhancement | Status:
positive_review
Priority: major | Milestone:
sage-pending
Component: notebook | Resolution:
Keywords: ReST, worksheet | Work issues:
Report Upstream: Workaround found; Bug reported upstream. | Reviewers:
Nicolas M. Thiéry, Jason Grout, Karl-Dieter Crisman, Jason Bandlow, John
Palmieri, Simon King, Karl-Dieter Crisman, Pablo Angulo
Authors: Pablo Angulo, Karl-Dieter Crisman | Merged in:
Dependencies: #14330 | Stopgaps:
------------------------------------------------------------+---------------
Comment (by dimpase):
Replying to [comment:151 kcrisman]:
> I can look into this eventually. Given that the title is
> {{{
> ~/exp1
> }}}
> I suspect that may be the problem. Probably it can't handle certain
titles at this point, presumably we could fix this. Weirdly, I can't find
where in worksheet.html the title shows up any more. I thought in the
past that was in that file, but when I open it, it isn't there (not just
this worksheet).
Do you mean you can reproduce the error I get on this sws?
I attach another one, completely trivial.
In a way, it's not a real error, it's just an error message; I get all the
files created as they should.
>
> However, unless all your worksheets are suddenly corrupted by this, I
think it's not worth rescinding the review.
Well, it could be the new sagenb spkg and the new Sage release (5.10.rc1).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10637#comment:152>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
