diff options
-rwxr-xr-x | sh.Linux/init.sh | 17 |
1 files changed, 4 insertions, 13 deletions
diff --git a/sh.Linux/init.sh b/sh.Linux/init.sh index 1be9b4af..8be70792 100755 --- a/sh.Linux/init.sh +++ b/sh.Linux/init.sh @@ -209,24 +209,15 @@ else esac for m in ${managers}; do - # Check common manager prerequisites and kernel params + # Check kernel params if get_bootparam "no${m}" || ! has_addon ${m}-start; then continue fi - # Check specific manager prerequisites - case ${m} in - devfs) - grep -Eqs "[[:space:]]+devfs$" /proc/filesystems || continue - ;; - *) - if [ -e /dev/.devfsd ]; then - mountinfo --quiet --fstype-regex devfs && continue - fi - ;; - esac - # Let's see if we can get this puppy rolling start_addon ${m} && break + + # Clean up + mountinfo -q /dev && umount -n /dev done fi |