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 62952959a10b03409f6d8f5bc5de7b67f1d748c4..ab5eaaa41e3e22b49a5853ae2ca53e8c7cfe7441 100644 (file)
--- a/utils/pb-console
+++ b/utils/pb-console
@@ -134,11 +134,12 @@ fi
 # show particularly important messages
 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