]> git.donarmstrong.com Git - debian-ctte.git/commitdiff
914897: Add a rebuttal point
authorDidier Raboud <odyx@debian.org>
Fri, 22 Feb 2019 09:50:50 +0000 (10:50 +0100)
committerDidier Raboud <odyx@debian.org>
Fri, 22 Feb 2019 09:52:33 +0000 (10:52 +0100)
914897_merged_usr/ballot.md

index 970dac062cc56b7406ad51d809d8d27d7a406c1e..4262f502a806ae92ec2a2e6c7e8b55dfd8beb082 100644 (file)
@@ -14,7 +14,8 @@ The motivation to get Debian systems to converge towards such a scheme is vastly
 The arguments against moving the base directories' scheme towards "merged `/usr`" are as follows:
 
 * there's no gain in disrupting something that is not inherently broken;
-* `/{bin,sbin,lib*}/` → `/usr/{bin,sbin,lib*}/` symlinks create confusing views of the system (`/bin/cat` and `/usr/bin/cat` are the same file), and dpkg doesn't support this situation cleanly [#134758](https://bugs.debian.org/134758).
+* `/{bin,sbin,lib*}/` → `/usr/{bin,sbin,lib*}/` symlinks create confusing views of the system (`/bin/cat` and `/usr/bin/cat` are the same file), and dpkg doesn't support this situation cleanly: [#134758](https://bugs.debian.org/134758).
+* it is possible for distributions to converge towards having all system files in `/usr` in finite time instead of shortcutting this migration with `/{bin,sbin,lib*}/` → `/usr/{bin,sbin,lib*}/` symlinks.
 
 [0]: https://www.freedesktop.org/wiki/Software/systemd/TheCaseForTheUsrMerge/
 [1]: https://wiki.debian.org/UsrMerge