From 3421a220201a3c7e96de50cc05be940a7d86ad5b Mon Sep 17 00:00:00 2001 From: Cem Keylan Date: Sat, 16 May 2020 04:19:42 +0300 Subject: init: move mnt function to rc.boot --- rc.boot | 7 +++++++ rc.lib | 8 -------- 2 files changed, 7 insertions(+), 8 deletions(-) diff --git a/rc.boot b/rc.boot index 66a90d8..fe6c921 100755 --- a/rc.boot +++ b/rc.boot @@ -4,7 +4,14 @@ . /etc/init/rc.conf . INITDIR/rc.lib +mnt() { + while read -r _ mnt _; do + case "$mnt" in "$1") return 0; esac + done < /proc/mounts + mnt="$1"; shift + mount "$@" "$mnt" +} PATH=/usr/bin:/usr/local/bin diff --git a/rc.lib b/rc.lib index e70d7e0..df35731 100644 --- a/rc.lib +++ b/rc.lib @@ -11,14 +11,6 @@ out() { printf '\033[1;36m-> \033[m\033[1m%s\033[m\n' "$@" ;} error() { printf '\033[1;31m!> ERROR: \033[m\033[1m%s\033[m\n' "$@" >&2 ;} welcome() { printf '\033[1;36m->\033[m\033[1m Welcome to\033[35m %s\033[m\033[1m!\n' "Carbs $(uname -sr)" ;} -mnt() { - mountpoint -q "$1" || { - dir=$1 - shift - mount "$@" "$dir" - } -} - emergency_shell() { error "Cannot continue init due to errors above, starting emergency shell" \ "When ready, type 'exit' to continue the boot." -- cgit v1.2.3