Redirecting the output of show() to a file?
Consider the tree
t = Permutation([1, 3, 2, 6, 8, 9, 5, 7, 4]).increasing_tree().as_ordered_tree() show(t)
The output is a TeX-tikzpicture. I want to post-process this picture at the TeX level (for a motivation see my last question).
To do so I have to manually copy and paste the output in some editor. It would be much easier if I could redirect the output into a text file and proceed from this file.
Is it possible to do so?