On 7/8/20 10:45 AM, Sven Joachim wrote:
On 2020-07-08 10:20 -0400, Frank McCormick wrote:
Apt flagged a couple of errors during this morning upate.
Warnings, not errors, and they are coming from dpkg.
dpkg: warning: unable to delete old directory
'/usr/share/fonts/woff/font-awesome': Directory not empty dpkg:
warning: unable to delete old directory '/usr/share/fonts/woff':
Directory not empty dpkg: warning: unable to delete old directory
'/usr/share/fonts/svg/font-awesome': Directory not empty dpkg:
warning: unable to delete old directory '/usr/share/fonts/svg':
Directory not empty dpkg: warning: unable to delete old directory
'/usr/share/fonts/eot/font-awesome': Directory not empty dpkg:
warning: unable to delete old directory '/usr/share/fonts/eot':
Directory not empty
Should I go in an remove these directories/files...or just leave it alone ?
I have deleted the spurious .uuid files and their parent directories as
they are cruft, but leaving them in place would not cause harm either.
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=897040
Cheers,
Sven
Seems this bug has been around for quite a while.
Thanks
--
Frank McCormick
