From mboxrd@z Thu Jan 1 00:00:00 1970 From: Allin Cottrell Date: Mon, 26 Mar 2012 02:59:19 +0000 Subject: /usr merge Message-Id: List-Id: MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit To: linux-hotplug@vger.kernel.org Sorry if this is off-topic but it seems that udev, systemd and the /usr merge are all connected at present. I'm very happy with current udev + systemd, and I'm also persuaded that the /usr merge is a good idea. I've already taken care of /bin (on my non-distro Linux system) and /sbin shouldn't be a problem, but I'm a bit more apprehensive about /lib, on account of all the symlinks from /usr/lib to files in /lib, created by glibc. Does anyone have a nice shell script to fold the content of /lib into /usr/lib? -- Allin Cottrell Department of Economics Wake Forest University