diff options
| author | Tom Gundersen <teg@jklm.no> | 2012-06-24 15:50:18 +0200 |
|---|---|---|
| committer | Tom Gundersen <teg@jklm.no> | 2012-06-24 16:13:41 +0200 |
| commit | b86af28c50de9285a5b064d984c3c9ba60d8b1d2 (patch) | |
| tree | d99eca2ebc2fb3cd1c6fbd237aad1f4a090809f8 /rc.sysinit | |
| parent | 32a67cdc01639a2080c93f2a0d71859f196b6c7d (diff) | |
mounting: let systemd-remount-fs deal with overwriting mount options
Any api filesystem which appears in fstab is remounted with the correct mount options at the end of boot.
Also, move the binfmt mount to where it is needed.
Signed-off-by: Tom Gundersen <teg@jklm.no>
Diffstat (limited to 'rc.sysinit')
| -rwxr-xr-x | rc.sysinit | 8 |
1 files changed, 2 insertions, 6 deletions
@@ -25,12 +25,8 @@ mountpoint -q /run || mount -t tmpfs run /run -o mode=0755,nosuid,nodev mountpoint -q /dev || mount -t devtmpfs dev /dev -o mode=0755,nosuid mkdir -p -m 1777 /run/lock mkdir -p /dev/{pts,shm} -mountpoint -q /dev/pts || mount /dev/pts &>/dev/null || - mount -t devpts devpts /dev/pts -o mode=0620,gid=5,nosuid,noexec -mountpoint -q /dev/shm || mount /dev/shm &>/dev/null || - mount -t tmpfs shm /dev/shm -o mode=1777,nosuid,nodev -mountpoint -q /proc/sys/fs/binfmt_misc || mount /proc/sys/fs/binfmt_misc &>/dev/null || - mount -t binfmt_misc binfmt /proc/sys/fs/binfmt_misc +mountpoint -q /dev/pts || mount -t devpts devpts /dev/pts -o mode=0620,gid=5,nosuid,noexec +mountpoint -q /dev/shm || mount -t tmpfs shm /dev/shm -o mode=1777,nosuid,nodev # log all console messages bootlogd -p /run/bootlogd.pid |