LinuxQuestions.org
Review your favorite Linux distribution.
Home Forums Tutorials Articles Register
Go Back   LinuxQuestions.org > Forums > Linux Forums > Linux - General
User Name
Password
Linux - General This Linux forum is for general Linux questions and discussion.
If it is Linux Related and doesn't seem to fit in any other forum then this is the place.

Notices


Reply
  Search this Thread
Old 05-11-2009, 12:46 PM   #1
geekpie
LQ Newbie
 
Registered: Oct 2006
Posts: 24

Rep: Reputation: 0
does /dev have to be on the root partition?


... or can /dev be on a separate partition?
 
Old 05-11-2009, 12:51 PM   #2
jschiwal
LQ Guru
 
Registered: Aug 2001
Location: Fargo, ND
Distribution: SuSE AMD64
Posts: 15,733

Rep: Reputation: 682Reputation: 682Reputation: 682Reputation: 682Reputation: 682Reputation: 682
It wouldn't make sense to create a separate partition for /dev.
Code:
jschiwal@qosmio:~> sudo du /dev                                                                                                                                                        
root's password:                                                                                                                                                                       
0       /dev/snd                                                                                                                                                                       
0       /dev/cpu                                                                                                                                                                       
0       /dev/mapper                                                                                                                                                                    
0       /dev/v4l/by-path                                                                                                                                                               
0       /dev/v4l                                                                                                                                                                       
0       /dev/.udev/failed                                                                                                                                                              
0       /dev/.udev/names/vcsa10                                                                                                                                                        
0       /dev/.udev/names/vcs10       
...
 
Old 05-11-2009, 01:45 PM   #3
David the H.
Bash Guru
 
Registered: Jun 2004
Location: Osaka, Japan
Distribution: Arch + Xfce
Posts: 6,852

Rep: Reputation: 2037Reputation: 2037Reputation: 2037Reputation: 2037Reputation: 2037Reputation: 2037Reputation: 2037Reputation: 2037Reputation: 2037Reputation: 2037Reputation: 2037
To expand on the above.

I suppose that yes, you could theoretically put it on a different device, but why would anyone bother? For one thing, you're whole system would then depend on that drive being present. But also, since /dev is a dynamically-created directory that only contains link interfaces to various devices, it's so small that it doesn't really need a partition of its own. My entire /dev folder is listed as taking up only 43kb.

In fact, these days I believe most distros place /dev in virtual (tmpfs) ram-drives anyway.
 
Old 05-13-2009, 07:55 AM   #4
geekpie
LQ Newbie
 
Registered: Oct 2006
Posts: 24

Original Poster
Rep: Reputation: 0
ok thanks.
Might be worth a point in my LPC101 exam.
 
  


Reply



Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off



Similar Threads
Thread Thread Starter Forum Replies Last Post
cannot re-mount /dev when encrypting root partition sn9ke_eyes Slackware - Installation 1 07-09-2007 04:37 PM
How to move root partition from external usb to /dev/hda noasprin Linux - Hardware 2 02-08-2007 08:20 AM
How to partition /dev/hde1 as / (root) DaZjorz Linux - Hardware 1 07-16-2005 08:56 AM
Boot Error: Root file system /dev/root adtomar Linux - Networking 0 12-27-2004 10:50 AM
/dev/hde9 (root partition) has gone 14051 days without being checked... frieza Linux - General 1 07-09-2002 09:18 PM

LinuxQuestions.org > Forums > Linux Forums > Linux - General

All times are GMT -5. The time now is 12:57 PM.

Main Menu
Advertisement
My LQ
Write for LQ
LinuxQuestions.org is looking for people interested in writing Editorials, Articles, Reviews, and more. If you'd like to contribute content, let us know.
Main Menu
Syndicate
RSS1  Latest Threads
RSS1  LQ News
Twitter: @linuxquestions
Open Source Consulting | Domain Registration