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