20 Aug
2021
20 Aug
'21
3:38 a.m.
On Thu August 19 2021 20:34:16 dep wrote:
The plot thickens: there *is* a file on this booted
drive, /etc/grub.d/10_linux.dpkg-dist, that has the same size -- 18151 --
and timestamp as /etc/grub.d/10_linux on the other drive. Might dpkg have
left it there in case I clutched my pearls, said, "What a fool I've been!"
and wished to install it after all? Is this normal dpkg behavior when one
decides under such circumstances to stick with the original version of
something?
Yep. That's exactly what happens for "config files" you choose not to
accept. This is not really a config file but you can edit it so it is
treated as a config file.
--Mike