:: Re: [DNG] /usr to merge or not to m…
トップ ページ
このメッセージを削除
このメッセージに返信
著者: Nate Bargmann
日付:  
To: dng
題目: Re: [DNG] /usr to merge or not to merge... that is the question??
* On 2018 16 Nov 10:03 -0600, Edward Bartolo wrote:
> A merger is when two or more entities become unified into one entity
> like two companies becoming one single company. So, /usr merging
> should require other directories becoming part of it. Googling brought
> me a question on Ubuntu forums which asked: "Are {/bin, /lib, /sbin}
> symlinks into /usr in Ubuntu?" If that is what is understood by this
> 'fearsome' unification then /bin, /lib and /sbin should become
> symlinks with their usual contents moved to /usr. A program should
> still be able to find files under /bin, /lib and /sbin provided there
> are no two different files with the same name.


I recently did a clean install of Debian Buster and here is the current
configuration:

$ ls -l /
total 68
lrwxrwxrwx   1 root root     7 Oct 14 07:32 bin -> usr/bin/
drwxr-xr-x   4 root root  4096 Nov  4 14:34 boot/
drwxr-xr-x  21 root root  3600 Nov 13 20:01 dev/
drwxr-xr-x 130 root root 12288 Nov 16 08:00 etc/
drwxr-xr-x   5 root root  4096 Feb 25  2018 home/
lrwxrwxrwx   1 root root    30 Oct 14 09:05 initrd.img -> boot/initrd.img-4.18.0-2-amd64
lrwxrwxrwx   1 root root    30 Oct 14 07:35 initrd.img.old -> boot/initrd.img-4.18.0-1-amd64
lrwxrwxrwx   1 root root     7 Oct 14 07:32 lib -> usr/lib/
lrwxrwxrwx   1 root root     9 Oct 14 07:32 lib32 -> usr/lib32/
lrwxrwxrwx   1 root root     9 Oct 14 07:32 lib64 -> usr/lib64/
lrwxrwxrwx   1 root root    10 Oct 14 07:32 libx32 -> usr/libx32/
drwx------   2 root root 16384 Oct 14 07:32 lost+found/
drwxr-xr-x   4 root root  4096 Oct 14 12:06 media/
drwxr-xr-x   2 root root  4096 Oct 14 07:32 mnt/
drwxr-xr-x  11 root root  4096 Aug 23 06:37 opt/
dr-xr-xr-x 304 root root     0 Nov 13 20:00 proc/
drwx------   6 root root  4096 Oct 30 20:22 root/
drwxr-xr-x  26 root root   720 Nov 15 07:43 run/
lrwxrwxrwx   1 root root     8 Oct 14 07:32 sbin -> usr/sbin/
drwxr-xr-x   2 root root  4096 Oct 14 07:32 srv/
dr-xr-xr-x  13 root root     0 Nov 13 20:00 sys/
drwxrwxrwt  20 root root  4096 Nov 16 11:50 tmp/
drwxr-xr-x  14 root root  4096 Oct 16 13:26 usr/
drwxr-xr-x  12 root root  4096 Oct 14 13:25 var/
lrwxrwxrwx   1 root root    27 Oct 14 09:05 vmlinuz -> boot/vmlinuz-4.18.0-2-amd64
lrwxrwxrwx   1 root root    27 Oct 14 07:35 vmlinuz.old -> boot/vmlinuz-4.18.0-1-amd64


As my systems are all desktops of one variety or another, I keep /home
on a separate partition where it makes sense to do so.

$ df -h
Filesystem      Size  Used Avail Use% Mounted on
udev            7.8G     0  7.8G   0% /dev
tmpfs           1.6G   18M  1.6G   2% /run
/dev/sda5        20G  8.4G  9.8G  47% /
tmpfs           7.8G  100M  7.7G   2% /dev/shm
tmpfs           5.0M  4.0K  5.0M   1% /run/lock
tmpfs           7.8G     0  7.8G   0% /sys/fs/cgroup
/dev/sdb1        92G   67G   21G  77% /opt
/dev/sda1       511M  2.1M  509M   1% /boot/efi
/dev/sda6       359G  147G  205G  42% /home
tmpfs           1.6G   27M  1.6G   2% /run/user/1000


Given my layout, the merged directories are not an issue but just look
odd at first glance after 22 years of my seeing them as stand alone
directories.

- Nate

--

"The optimist proclaims that we live in the best of all
possible worlds. The pessimist fears this is true."

Web: http://www.n0nb.us GPG key: D55A8819 GitHub: N0NB