Ik heb gisteren mijn systeem gereboot. Met een upgrade is er net een nieuwe kernel geïnstalleerd. Van 5.10.0-16-amd64 naar 5.10.0-17-amd64. Ik ga er vanuit dat ik niet meteen mijn systeem hoef te rebooten. (Als het nu 5.11 was.) Of zie ik dat verkeerd? Zowel netjes afsluiten en weer opstarten neemt redelijk wat tijd. -- Cecil Westerhof Senior Software Engineer LinkedIn: http://www.linkedin.com/in/cecilwesterhof