On Wed, Mar 22, 2017 at 03:19:57PM +0100, Karsten Hilbert wrote: > On Wed, Mar 22, 2017 at 03:02:28PM +0200, Anton Zinoviev wrote: > > > > 2. the bug still exists and each time the system boots, it recreates > > these three files. In this case we have to find out the cause of this. > > The latter: currently, after each boot, I manually run > > systemctl restart console-setup.service > > which fixes the console problem for me until the next boot. > That's why those files are from today.
This will update thethree files /etc/console-setup/cached_setup* if the times of /etc/default/{keyboard,console-setup} are more recent. On the other hand, times of the files in /etc/default/* are not supposed to change. > > And what about the files > > /etc/default/{keyboard,console-setup} -- do their times change too? > > Likely because of the above, too. Actualy these files should change only if console-setup is upgraded or the admin runs dpkg-reconfigure. > Feel free to ask for more information you may need. Thanks. :) Well, can you report the state of the affairs before you run systemctl restart console-setup.service ls --full-time /etc/default/{console-setup,keyboard} /etc/console-setup/cached_* Anton Zinoviev