discover/grub2: Allow to separate the --id argument using a space char

[petitboot] / utils / pb-console

diff --git a/utils/pb-console b/utils/pb-console
index ad601e2eb879a4871ff93c4380f7240fa44c89b5..ab5eaaa41e3e22b49a5853ae2ca53e8c7cfe7441 100644 (file)
--- a/utils/pb-console
+++ b/utils/pb-console
@@ -135,12 +135,11 @@ fi
 dmesg -n 1
 
 trap '' SIGINT
+trap 'reset; echo "SIGTERM received, booting..."; sleep 2' SIGTERM
 
 while :
 do
        $ui $verbose_opt
        reset
-       echo "Exiting petitboot. Type 'exit' to return."
-       echo "You may run 'pb-sos' to gather diagnostic data"
-       $shell
+       $shell -m
 done