Raspberry Pi Forums

Can anyone suggest a way to download the Mathematica .deb package using a web browser?

The reasoning behind this is that at home it will take ages to download while where I am now will take much less time.

The package is at: http://archive.raspberrypi.org/debian/p ... am-engine/

You should be able to install it using dpkg:

Try:

http://archive.raspberrypi.org/debian/p ... _armhf.deb

Then one method to install it is:

sudo dpkg -i wolfram-engine_10.0.0+2013112003_armhf.deb
sudo apt-get install -f --fix-missing

dennisw wrote:Try:

http://archive.raspberrypi.org/debian/p ... _armhf.deb

Then one method to install it is:

sudo dpkg -i wolfram-engine_10.0.0+2013112003_armhf.deb
sudo apt-get install -f --fix-missing

Perfect!

Awesome, for some reason apt-get fails after a long while, I'm going to curl it.

I downloaded wolfram-engine and the only thing that shows up is Wolfram Language.

Typing in /user/bin/Mathematica returns a message saying no such file. ???????

Help!

Try all lower case (and no "e" in "usr"):

elmsley wrote:Awesome, for some reason apt-get fails after a long while, I'm going to curl it.

How do you do that? On my Pi, it said memory was low and aborted the install (I use an 8gb SD card with only a few python programs and RPi.GPIO and Numpy installed)

Thanks, I removed wolfram-engine and reloaded it and everything works fine now!

nutshelluniverse wrote:

elmsley wrote:Awesome, for some reason apt-get fails after a long while, I'm going to curl it.

How do you do that? On my Pi, it said memory was low and aborted the install (I use an 8gb SD card with only a few python programs and RPi.GPIO and Numpy installed)

This command sticks the file in your local filesystem.

curl http://archive.raspberrypi.org/debian/p ... _armhf.deb > wolfram-engine_10.0.0+2013112003_armhf.deb

then you can unpackage it using the commands in the previous post. You may also want to try:
df -k

which tells you how much space you have left in each filesystem.

Most likely that's your issue, you can use the raspi-config menu system to extend the root filesystem to use all your card. Whichever directory you are in, you can check which file system it is associated with by typing:
df -k .

(don't forget the trailing dot ".") and it will tell you the info for the specific file system.

Good luck!