Ask Your Question
0

Download Data folder

asked 2012-06-08 17:46:57 +0200

Roctiv gravatar image

Hi! I'm trying to download all the data folder of a worksheet. I see the GUI permits you to download it one single file at once. I have many files (about 2000 files), and I'm unable to download all the folder at once. I'm using VirtualBox at Windows and it's Sage 5.0 version.

How can I do it?

Thank you! :)

edit retag flag offensive close merge delete

Comments

What is the problem? Do you get an error message?

Eviatar Bach gravatar imageEviatar Bach ( 2012-06-08 19:27:05 +0200 )edit

2 Answers

Sort by ยป oldest newest most voted
2

answered 2012-06-09 14:30:19 +0200

Jason Grout gravatar image

I would use Sage to zip up all the files into one file:

from subprocess import call
call("zip -r all.zip %s/*"%DATA,shell=True)
edit flag offensive delete link more

Comments

Thank you! that's it!! :) And if I want to erase that file? where is it saved? And what is the command to delete it?

Roctiv gravatar imageRoctiv ( 2012-06-09 15:13:23 +0200 )edit
1

answered 2012-06-08 19:29:21 +0200

Eviatar Bach gravatar image

I don't know why it's not letting you, but there is another way of doing it. /home/USER/.sage/sage_notebook.sagenb inside the VirtualBox filesystem will have all the notebooks, and you can simply copy it over to another installation.

edit flag offensive delete link more

Comments

Maybe I didn't say it clearly, if so I apologize. I want to save all the files of the data folder of one worksheet in the host computer (windows), not all the worksheets. I'm quite new with this featurings in Sage 5.0, I don't know how to exit of the GUI :S. If there's a way to do it in the console it would be fine if you were more specific :S. Sorry for that, I'm a new user.

Roctiv gravatar imageRoctiv ( 2012-06-09 09:50:42 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2012-06-08 17:46:57 +0200

Seen: 767 times

Last updated: Jun 09 '12