On Tue, 13 Nov 2018, Jerome BENOIT wrote: > On 12/11/2018 22:42, Cristian Ionescu-Idbohrn wrote: > > You don't happen to have that "move everything from /bin, /sbin, /lib > > to /usr/..." package installed? > > Do know have the short name (or regular name) of this package ?
I guess it's this I was referring to: Package: usrmerge Description-en: Convert the system to the merged /usr directories scheme -- Cristian
