Raspberry pi ???

[timo]

@Timo: wie geht "spiel das Image des aktuellen Raspberry Pi OS auf" ?
Ist das was anderes als die von Karl empfohlenen Kopie ?

Es dient letztendlich dem gleichen Zweck. Bei der von Karl vorgeschlagenen Methode kopierst Du den Inhalt der alten Karte einfach auf die neue um. Prima, wenn es funktioniert, weil weniger Arbeit. Andererseits überträgst Du damit eventuell beschädigte Dateien auch auf die neue Karte. Es ist also nicht ausgeschlossen, daß die Fehler danach immer noch vorhanden sind.

Meine Vorschlag war, mit einem komplett neu eingespielten Betriebssystem-Image zu beginnen.

Ich habe diverse Programme installiert, selber welche unter FPC bzw Lazarus geschrieben und kompiliert.

Die Daten kannst Du ja von der alten Karte sichern. Ich nehme mal an, die Daten sind alle unter /home/pi. Dann mountest Du die Karte auf einem PC ein, erzeugst ein tar-Archiv der entsprechenden Verzeichnisse, das Du dann auf der neuen Karte wieder auspackst.

Was die mit apt installierten Programme angeht: Sofern Du die alte Installation noch irgendwie booten kannst, ist das auch kein Problem. Du kannst Dir die manuell installierten Pakete anzeigen lassen, siehe z.B. hier. Von der Liste ausgehend kannst Du sie auf dem neuen System wieder installieren.

Unterstützung gerne bei Bedarf.

Demnach muß ich auch noch nach einem Adapter auf die alte Normalgröße suchen&finden, falls ich die Karte in einem PC auslesen möchte.

Der ist bei der neuen Karte meist dabei.

Könnte es sein, daß rausziehen und wieder einstecken hilft, (oder besser nicht anfassen, bevor kopiert ?)

Ich glaube nicht, daß es was bringt, aber schaden wird es höchstwahrscheinlich auch nicht. Probier's einfach.

Gibt es da zu meidende Fabrikate ?

Ich hatte vor Jahren mal eine von einer Handelsmarke (CnMemory?), die ist nach ein paar Monaten ausgefallen. Allerdings habe ich die in meiner Digitalkamera benutzt, nicht im Raspi.

Inzwischen wird doch eh überwiegend SanDisk angeboten. Wie geschrieben, mit denen habe ich sehr gute Erfahrungen. Auf Amazon gibt es eine mit 32 GB inklusive Adapter für 6,99 €. Wenn Du nett fragst, kriegst Du bei Saturn und Media-Markt meist den gleichen Preis (sofern sie die Größe noch haben).

https://www.amazon.de/-/en/SanDisk-SDSDQ...0052UIADC/