[linux] opstart van iso op disk, nu met succes

[Paul Slootman]

On Mon 03 Jun 2019, Julien Michielsen wrote:

> Daarna ben ik gestopt: ik had geen zin de hele sliert van scripts en
> handelingen uit te voeren. Ik had immers gezien dat het werkte, en
> ga mijn /etc/grub.d/40_custom bewaren voor een volgende installatie.
> Ten overvloede heb ik dat bestand onderaan dit bericht gekopieerd.

Bedankt daarvoor! Maar al te vaak wordt een probleem gepresenteerd op de
mailinglist maar wordt de uiteindelijke uitkomst niet gegeven.


Paul