svoid linux_reboot() {
  linux_showShutdownDialog();
  sleepSeconds(5);
  //BufferedImage img = shootScreen2();
  pressAltChar('r');
  sleepSeconds(2);
}