use disk/by-id if possibe, other small fixes
[automated-distro-installer] / chboot
diff --git a/chboot b/chboot
index 40f509367cb64fbc5d9a40b990757cb0601101c5..9cb23d5574fd92dabbe980320df2dc549085eacd 100755 (executable)
--- a/chboot
+++ b/chboot
@@ -53,3 +53,7 @@ e grub-bios-setup -d $mount_point/grub/i386-pc -s -m $mount_point/grub/device.ma
 
 e umount $mount_point
 e rmdir $mount_point
+
+if $reboot; then
+    reboot now
+fi