diff options
Diffstat (limited to 'packages/openslug-init/openslug-init-0.10/initscripts/umountinitrd.sh')
| -rw-r--r-- | packages/openslug-init/openslug-init-0.10/initscripts/umountinitrd.sh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/packages/openslug-init/openslug-init-0.10/initscripts/umountinitrd.sh b/packages/openslug-init/openslug-init-0.10/initscripts/umountinitrd.sh deleted file mode 100644 index da39b425f8..0000000000 --- a/packages/openslug-init/openslug-init-0.10/initscripts/umountinitrd.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/sh -# -# umount /mnt, which is where the initrd ends up mounted -# if the directory /initrd is not present, if this fails -# then the /initrd is mounted and we want to remount that -# ro - this works round the shutdown -r hang problem -umount /mnt 2>/dev/null || { - # need the device for a remount - . /etc/default/functions - ffspart=Flashdisk - ffsdev="$(mtblockdev $ffspart)" - if test -n "$ffsdev" -a -b "$ffsdev" - then - mount -o remount,ro "$ffsdev" /initrd - else - echo "Flashdisk: $ffsdev: flash device not found" >&2 - fi -} |