Hello,

Is "deb http://download.mono-project.com/repo/debian wheezy main"
meant for raspbian wheezy only,
or does it work for jessie too ?

Hello everybody, Although this thread is quite old, I would still like to present the solution I found to this problem : http://stackoverflow.com/questions/31460931/regarding-mono-develop-upgrade-on-raspberry-pi It worked for me, so I'm a happy camper right now. Just a few steps away from scrapping...

So, is it safe to overwrite the existing Raspbian partition (provided it is large enough) or is it necessary to install Noobs again (and the other OS on the sdcard) ?

Thanks. But could it be done by copying the contents of the image (if the dist-upgrade route does not work), so that the Pi is still able to dual boot afterwards ?

Hello,

If NOOBS was used to install Raspbian Wheezy alongside another OS (dual boot), is it possible to upgrade to Jessie by merely copying the contents of the Jessie image over the existing Raspbian partition ?

Thank you for the workaround.

Also: I rebooted on gparted liveUSB, there it is possible to mount partition #8 (on the command line).

If you are able to boot into raspbian and OSMC, the partition /dev/mmcblk0p8 is not missing. This is the root partition of your system #2. Its kernel is stored in the fat partition /dev/mmcblk0p7.. Right, but I meant it's missing from /dev when the sd card is plugged into the ubuntu laptop. Anyway....

Even though fdisk listing shows a p8 partition, there is no such thing as /dev/mmcblk0p8: it's missing.

I will try to boot on some livecd or liveusb system later to see whether it makes a difference.

No.
p1 is RECOVERY (fat32)
p3 is SETTINGS (last one from top to bottom in gparted)
p5 is Raspbian boot (boot0)
p6 is Raspbian root
p7 is OSMC boot (boot-rbp2)
p8 is OSMC root (gparted shows a red exclamation mark)

dmesg: [91463.467299] mmc0: cannot verify signal voltage switch [91463.580376] mmc0: new ultra high speed SDR50 SDHC card at address aaaa [91463.580603] mmcblk0: mmc0:aaaa SL08G 7.40 GiB [91463.589684] mmcblk0: p1 p2 < p5 p6 p7 > p3 [91463.777081] EXT4-fs (mmcblk0p3): mounted filesystem with ordered...

Devices names are different in RPi and laptop. You should use the correct names. Use the names in Ubuntu according to the output of the command sudo fdisk -l . Yes, repeat the command in Ubuntu. They will be /dev/sdx for devices and / dev/sdxy for partitions. Names as /dev/mmcblk0 make no sense in ...

Ubuntu 14.04.2 on my PC.

Hello, I used NOOBS 1.4 to setup a multi-boot SD card. This works well, my Pi can boot Raspbian or OSMC. However, on my Ubuntu laptop I have no way to mount one of the partitions. $ sudo fdisk -l /dev/mmcblk0 Disk /dev/mmcblk0: 7948 MB, 7948206080 bytes 4 heads, 32 sectors/track, 121280 cylinders, t...