dev partition mount

[Vmulay]

I have created a separate partition for dev. Following the install handbook directions has me execute the following:

root #mount --rbind /dev /mnt/gentoo/dev
root #mount --make-rslave /mnt/gentoo/dev

I already mounted /mnt/gentoo/dev on the partition device, should the above need to be modified for me or should I continue with the above commands?

[Jaglover]

Normally dev filesystem is not on disk, it is in memory. Do you intend to use static dev? Out of curiosity, what's the benefit of having static dev on its own partition? Anyway, you don't need bind mount for static dev.
_________________
My Gentoo installation notes.
Please learn how to denote units correctly!

[Vmulay]

Saw partitioning recommendation for a separate /dev partition, so wanted to try it. If it’s not the current way of setting up the install, I don’t need to go further with that. Any benefits to having separate dev partition?

[NeddySeagoon]

Vmulay,

None at all.
For the last 15 years or more. /dev has not been on disk, so the concept of partition does not apply.
When it is on disk, making a separate partition adds complexity, since you usually need the content of /dev, to mount partitions but if /dev isn't there you can't use it to mount /dev.
_________________
Regards,

NeddySeagoon

Computer users fall into two groups:-
those that do backups
those that have never had a hard drive fail.

[Hu]

Where did you see this recommendation?

[figueroa]

Put home on a separate partition for a sane layout. Otherwise, don't add unnecessary complexity unless needed by your use case.
_________________
Andy Figueroa
hp pavilion hpe h8-1260t/2AB5; spinning rust x3
i7-2600 @ 3.40GHz; 16 gb; Radeon HD 7570
amd64/23.0/split-usr/desktop (stable), OpenRC, -systemd -pulseaudio -uefi