Вибір пункту GRUB до перезавантаження

За мотивами http://www.webupd8.org/2011/05/custom-unity-launcher-to-reboot-in.html

Підготовка:

sudo sed -i 's/GRUB_DEFAULT=.*$/GRUB_DEFAULT=saved/' /etc/default/grub
sudo update-grub

і скрипт:

#!/bin/bash
ps3="Виберіть пункт для завантаження:"

old_ifs=$IFS
IFS="
"
zenity 1>/dev/null 2>&1
if [[ $? == 255 ]]; then
 gui=true
fi

array=$(grep "menuentry" /boot/grub/grub.cfg | grep -o "[\"\']\(.*\)[\"\']")

if [[ $gui ]]; then 
 os=`zenity --list --width=640 --height=480 --text=$ps3 --hide-header --column OS $array`
else
 echo $ps3
 select os in $array; do
  break
 done
fi

IFS=$old_ifs

os=${os//[\"\']/}

if [[ $os != "" ]]; then
 grub-reboot "$os"
 reboot
fi