ProviewPi Files

Raspberry Pi and ProviewPi-4.8.5-1

Because of the "hard float ABI" it is not possible to use a Java web interface, in this version, in combination with Proview.

Creating a new project takes time  (just like loading a project).
Keep an eye on the CPU applet before you continue with the steps in the project wizzard.

You need a 8GB sd-card.
Extract the image.

Run df -h to see what devices are currently mounted.
Insert the card into a SD card reader, then connect the reader to your computer. 

If your computer has a slot for SD cards, insert the card. If not, insert the card into an SD card reader, then connect the reader to your computer.
Run df -h again. 
The device that wasn't there last time is your SD card. 
The left column gives the device name of your SD card. It will be listed as something like "/dev/mmcblk0p1" or "/dev/sdd1". 
The last part ("p1" or "1" respectively) is the partition number, but you want to write to the whole SD card, not just one partition, so you need to remove that part from the name (getting for example "/dev/mmcblk0" or "/dev/sdd") as the device for the whole SD card. 
Note that the SD card can show up more than once in the output of df: in fact it will if you have previously written a Raspberry Pi image to this SD card, because the Raspberry Pi SD images have more than one partition.

Now that you've noted what the device name is, you need to unmount it so that files can't be read or written to the SD card while you are copying over the SD image. So run the command below, replacing "/dev/sdd1" with whatever your SD card's device name is (including the partition number)

    umount /dev/sdd1

If your SD card shows up more than once in the output of df due to having multiple partitions on the SD card, you should unmount all of these partitions. 

In the terminal write the image to the card with this command, making sure you replace the input file if= argument with the path to your .img file, and the "/dev/sdd" in the output file of= argument with the right device name (this is very important: you will lose all data on the hard drive on your computer if you get the wrong device name). 
Make sure the device name is the name of the whole SD card as described above, not just a partition of it (for example, sdd, not sdds1 or sddp1, or mmcblk0 not mmcblk0p1)

as root:

    dd bs=1M if=debian70_sd_v1.0_proview_4.8.5-1_8GBSD of=/dev/sdd
       
    The dd command does not give any information of its progress and so may appear to have frozen. It could take more than 15 minutes to finish writing to the card. 

If your card reader has an LED it may blink during the write process. To forcibly stop the copy operation you can run pkill -USR1 -n -x dd in another terminal (prefixed with sudo if you are not logged in as root). 

Remove SD card from card reader, insert it in the Raspberry Pi, and let's Mazzo!

/M