Revision history [back]
 | 1 | initial version |
There is no file walk.py. Rather, walk.sage is preparsed and the output is just a string, read by Python and Sage.
If you want to produce a file walk.py, then from your shell prompt, run sage --preparse walk.sage.
| | 2 | No.2 Revision |
There is no (Edit: I originally thought that there wasn't a file walk.py, but I think that's wrong.)
Look in walk.py$HOME/.sage/temp/DIR0/DIR1/. Rather, where walk.sage$HOMEpreparsed your home directory, DIR0 has a name like $HOSTNAME and DIR1 is a number, the output process id of the Sage process. This directory is just a string, read by Python and deleted when you quit Sage.
If you want to produce a more permanent file walk.py, then from your shell prompt, run sage --preparse walk.sage.. This will produce walk.py in the current directory.
