Repository navigation
Lifespan of the "splashed" graph #86
Description
Maybe not an issue but more of a food-for-thought (and something to add into the manual/documentation).
Currently when a graph is visualised using Splash the PDF-file that is generated outlives the GAP session it was generated in. It might be worth thinking if that is the right way of doing it? Maybe it should only live while the GAP session is open and then be closed after? (Although as @fingolfin pointed out since it's opened in a Previewer then closing that window will be hard if not impossible).
Further, something that definitely needs to go into the documentation where is the generated PDF saved?
Metadata
Metadata
Assignees
Labels
No labels
Activity
ruthhoffmann commentedon Sep 30, 2026
Found where the graphs get stored. For info on a Mac that is
The first 3 folders hashes are generated by MacOS (I believe). The last (after
T) is generated by GAP. The mystery is that this folder doesn't exist. Just for fun I checked all thegaptempdir*inTthat exist... All are empty.So that is slight mystery. 😄
james-d-mitchell commentedon Sep 30, 2026
Would one resolution be to update
Splashto accept a filename? And to possibly print the location of any written files as anInfostatement? The filename you've written is almost certainly that produced byDirectoryTemporary, the doc for which says:ruthhoffmann commentedon Sep 30, 2026
Yes that makes more sense.
ruthhoffmann commentedon Sep 30, 2026
Looks like this options already exists (thanks 2024-James!).
Line 55 in
splash.gicould do with a-pflag so thatmkdirdoesn't complain if you're wanting to create a file in the current directory.reiniscirpons commentedon Sep 30, 2026
Je suis desolé (was autoclosed by the bots)
Make mkdir idempotent (gap-packages#97)
james-d-mitchell commentedon Oct 1, 2026
I think this is now resolved, can we close?
ruthhoffmann commentedon Oct 1, 2026
Happy to close unless you still want to discuss (or have an idea for) the "lifespan" of the splashed graphs beyond the GAP session?