Wat ik gedaan heb weet ik niet meer precies, maar updates en configuratie zijn gelukt. Misschien omdat ik de installatie CD heb laten meedraaien en bij
Software & Updates de optie "Vooraf vrijgegeven updates" heb aangevinkt. Kortom, systeem loopt (tot zover) weer naar behoren. Alleen mis ik nog bij het opstarten de mogelijkheid om systeem te kiezen, ofwel het Grub Keuzemenu. Hoe krijg ik dat voor elkaar? De instructie uit
https://sites.google.com/site/computertip/grub, hoofdstuk "Noodgrepen in Grub" helpt niet, noch GRUB_TIMEOUT=5 onder "Grub aanpassen: opstartmenu altijd zichtbaar" . Bij mij stond-ie (zonder te hebben aangepast) op 10. Iemand enig idee voor het geval er weer opstart problemen ontstaan?
Ik zal dit Grub probleem onder een nieuw Topic plaatsen.