Ich hol das hier nochmal hoch. Bevor dieser Fehler auftrat, kam schon ein anderer vorher: cp: cannot stat '/tmp/boot_src/*': No such file or directory
Das konnte ich lösen, indem ich im besagten Verzeichnis /tmp/boot_src/ eine tmp.tmp Datei angelegt hatte. Diese landete dann in /boot, welches ja normalerweise, solange die EFI-Bootpartition nicht gemountet ist, leer ist.
Zum Fehler sed: unmatched '/'
Das sieht mir aus, als wäre da ein Fehler in einem Script. Irgendwo ein "/" zuviel/zuwenig?
Grüße
Marcus