Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Where are stored gif files by default

Ok I know this is a stupid question. (But i spend already half an hour on it :(
After using a.save('myanime') on a animate I can't file the gif file (which is the default ext AFAIK) Thanks

Where are stored gif files by default

Ok I know this is a stupid question. (But i spend already half an hour on it :(
) After using a.save('myanime') on a animate I can't file the gif file (which is the default ext AFAIK) Thanks

Where are stored gif files by default

Ok I know this is a stupid question. (But i spend already half an hour on it :( ) After using a.save('myanime') on a animate I can't file find the gif file (which is the default ext extension AFAIK) ThanksTo be more specific:

I am using sage on a linux debian (sage recenlty returned to the debian archives !!:D!!) so I launch sage in terminal (the binary is installed in my /usr/bin ) and the files seemes to be stored in stuff like

/home/myusername/.sage/sage_notebook.sagenb/home/__store__/2/21/212/2123/admin/9 ... Is it right ?

In case yes it is painful to look for something outside fromethe sage notebook and I would like to integrate the .gif in another web pages. Maybe I can choose where to save the gif ?