Dat soort dingen kunnen ook voorkomen als je je geheugenkaart met W32Disk Imager klaar maakt met een prebuild voor raspberry pi. Deze zet dat een image over je kaart, en kopieert dus niet 1 op 1 files gewoon naar bestaande partities - de ruimte is er dus wel, je zou op linux met een partition tool deze kunnen uitbreiden, heb dit ook vaker meegemaakt met grote usb sticks en dergelijke (64gb waar er ineens maar 8 op bleek te zitten).
Je hebt een zogenaamde FAT (File allocation Table) welke aangeeft op welke plaats er hoeveel ruimte is gebruikt, en welke bestanden er op welk deel staan.., door een image te gebruiken kan de kaart dus "lijken" kleiner te zijn dan deze is, op windows heb je tools als Partition Magic, EaseUs Partition Manager, en nog waarmee je kan zien welke ruimte wel of niet "gealloceerd" is - dus of hier een verborgen partitie op zit, of deze ruimte nog vrij te gebruiken is - vaak kan je na installatie van een image nog een extra partitie aanmaken.
Toch raad ik voor de Pi een USB stick aan voor opslag, ook voor te booten - dit gaat een performance upgrade zijn omdat de usb stick sneller is over het algemeen, ook omdat deze meer lees/schrijf bewerkingen aan kan, wat de snelheid en levensduur ten goede komen:
Je moet ingelogd zijn om deze link te bekijken.
Ook kan je meerdere OS'en naast elkaar draaien op je USB, bv libreelec voor kodi, raspbian voor desktop en retropie voor je snes/n64 games
Je moet ingelogd zijn om deze link te bekijken.
Je moet ingelogd zijn om deze link te bekijken.