Installing Optional Package

edit

If you go to the command line in your Sage installation (in the virtual machine), how do you launch Sage? Let's say you use the command

$  /path/to/sage-4.6/sage

to launch Sage. Then all you should have to do is

$  /path/to/sage-4.6/sage -i database_kohel-20060803

or possibly

$  /path/to/sage-4.6/sage -i database_kohel-20060803.spkg

It should automatically download, even in the virtual machine.

If not, then you'd have to move the spkg to the VM filesystem somehow (I'm not sure how that's done, but should be Googleable) and then do

$  /path/to/sage-4.6/sage -i /path/to/database_kohel-20060803.spkg

Edit: the following is no longer true, as this ticket deprecated this functionality, which has since been removed.

If you only have the notebook, you should be able to do

install_package(package='database_kohel-20060803')

Try

install_package?

for more information. See this Sage documentation page as well.