]> git.donarmstrong.com Git - debian-ctte.git/commit
merged usr: Be more careful to distinguish between usrmerge and merged /usr
authorSimon McVittie <smcv@debian.org>
Mon, 4 Feb 2019 15:05:15 +0000 (15:05 +0000)
committerSimon McVittie <smcv@debian.org>
Mon, 4 Feb 2019 15:05:15 +0000 (15:05 +0000)
commit93396e9c3f432c23016c379f44a0aa9e003056a8
tree0cb8c94702576d9c447d71369a0273a55b6e877f
parent8bb088593fda5ca522c864fa268aebdce24f5019
merged usr: Be more careful to distinguish between usrmerge and merged /usr

Merged /usr is a system design, and usrmerge is one implementation of
that design. If we were to de-support merged /usr, it would affect all
users with a merged /usr equally, regardless of how they got there.
914897_merged_usr/ballot.md