Links from sample-book to github source

14 views
Skip to first unread message

Bradley Miller

unread,
Dec 12, 2025, 5:25:07 PM12/12/25
to PreTeXt development
The PreTeXt sample book (PTXSB on runestone.academy) Now has links to the source for each exercise on github.  I wrote a python script that finds the #exercise tags and then inserts a #url below the exercise.  After building the book, I git restore rune.xml, so these are not permanently added.  They would get out of sync very quickly!

These are live on runestone academy now.

In a couple of the browsers I use it opens the github link in a nice little popover window.  But in safari it just navigates to github in the same tab.  That seems less that ideal.  I did a quick search of the guide and didn’t see how to specify the equivalent of target=blank like you can do with an a tag.

Are there other tags where it would be useful to link to the PreTeXt source on github?

Check it out and let me know what you think.

Brad Miller
Professor Emeritus, Luther College
Founder, Runestone Academy LTD
Blog: http://reputablejournal.com

Set up a time to meet with me.


Rob Beezer

unread,
Dec 18, 2025, 12:40:57 PM12/18/25
to prete...@googlegroups.com
First chance I've had to look at this. Very slick!

The non-Runeston Components exercises (Chapter 1-4) do not seem to be getting
the treatment. Perhaps because they generally lack @label attributes?

I'm sure you are aware of the "View Source" knowls in the Sample Book, as hosted
at the PreTeXt website. What is your intent in having the source visible within
GitHub? Easier formation of issues?

Rob
> Set up a time to meet <https://fantastical.app/bonelake-Gj2i/meet-with-
> brad> with me.
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "PreTeXt development" group.
> To unsubscribe from this group and stop receiving emails from it, send an email
> to pretext-dev...@googlegroups.com <mailto:pretext-
> dev+uns...@googlegroups.com>.
> To view this discussion visit https://groups.google.com/d/msgid/pretext-
> dev/6ECC25F8-DA58-4E41-8BEB-0BA2FA20CB7B%40runestone.academy <https://
> groups.google.com/d/msgid/pretext-dev/6ECC25F8-
> DA58-4E41-8BEB-0BA2FA20CB7B%40runestone.academy?utm_medium=email&utm_source=footer>.

Bradley Miller

unread,
Dec 18, 2025, 5:53:53 PM12/18/25
to prete...@googlegroups.com
Rob,

I tried using that approach but Andrew pointed out several places in both the code as well as the regular html where the indentation was messed up. Which caused python problems to not run correctly.  This does not mess with any of the formatting.

All this is doing is looking for an #exercise So if you can point me to one that is not getting the link I’ll look into it.

Brad

Brad Miller
Professor Emeritus, Luther College
Founder, Runestone Academy LTD
Blog: http://reputablejournal.com

Set up a time to meet with me.


To unsubscribe from this group and stop receiving emails from it, send an email to pretext-dev...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/pretext-dev/MTAwMDA0NC5iZWV6ZXI.1766079653%40pnsh.

Reply all
Reply to author
Forward
0 new messages