udev: use pb_log for device SKIP messages

[petitboot] / utils / pb-console

diff --git a/utils/pb-console b/utils/pb-console
index b1c8003ef841d155b81051a9dc091beec83ff7d0..d846ea7614703dd80f590f45a6f74341889dd773 100644 (file)
--- a/utils/pb-console
+++ b/utils/pb-console
@@ -82,6 +82,7 @@ then
        if [ "$detach" = 1 ]
        then
                $getty -l $0 "$@" &
+               exit
        else
                exec $getty -l $0 "$@"
        fi
@@ -98,6 +99,7 @@ done
 while :
 do
        $ui
+       reset
        echo "Exiting petitboot. Type 'exit' to return."
        $shell
 done