diff options
| author | Andy Whitcroft <apw@canonical.com> | 2012-06-25 11:39:08 +0100 |
|---|---|---|
| committer | Ben Hutchings <ben@decadent.org.uk> | 2016-01-26 00:03:11 +0000 |
| commit | c4ea209f037f5c5cabcd04c78a63f1909d0f4181 (patch) | |
| tree | cfd340b5adf31216eade05fdf482f63562fb5e9c | |
| parent | 7774fa36e0d13c931794a5cab3792d4a2e5a7092 (diff) | |
Mount /dev with the default tmpfs size rather than sourcing udev.conf.
Signed-off-by: Andy Whitcroft <apw@ubuntu.com>
Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
| -rwxr-xr-x | init | 8 |
1 files changed, 2 insertions, 6 deletions
@@ -21,13 +21,9 @@ done # Note that this only becomes /dev on the real filesystem if udev's scripts # are used; which they will be, but it's worth pointing out -tmpfs_size="10M" -if [ -e /etc/udev/udev.conf ]; then - . /etc/udev/udev.conf -fi -if ! mount -t devtmpfs -o size=$tmpfs_size,mode=0755 udev /dev; then +if ! mount -t devtmpfs -o mode=0755 udev /dev; then echo "W: devtmpfs not available, falling back to tmpfs for /dev" - mount -t tmpfs -o size=$tmpfs_size,mode=0755 udev /dev + mount -t tmpfs -o mode=0755 udev /dev [ -e /dev/console ] || mknod -m 0600 /dev/console c 5 1 [ -e /dev/null ] || mknod /dev/null c 1 3 fi |