On Sun, 2017-12-17 at 22:42 +0100, Geert Stappers wrote:
> > dpkg -i linux-source-${major}_${manor}_all.deb
>
> dpkg -i linux-source-${major}_${minor}_all.deb
A-ha mooi, een type. Zie script versie van vandaag.
Met vriendelijke groet,
Frans van Berckel