menuentry "Riavvia il Pc" {
echo "System rebooting..."
reboot
}
Senonche', nella mia Linux Mint Mate 17.3 -64b, non mi trovo più il file /etc/grub.d/40_custom, che c'era fino a un paio di settimane fa', ed al suo posto mi trovo il file 40_custom_proxy il cui contenuto e':
#!/bin/sh
#THIS IS A GRUB PROXY SCRIPT
'/etc/grub.d/proxifiedScripts/custom' | /etc/grub.d/bin/grubcfg_proxy "+'Linux ISO mintmate18.1 FrancoFait.iso (/dev/sd_UUID 76D410C5D410898F)'~cbaf4857dcec3c52828a2fb436e52b43~
-*
-#text
"
che origina, come quello precedente, la voce del grub Linux ISO mintmate18.1 FrancoFait.iso, però, essendo cambiata la sintassi, non so più come fare, anche perchè ho paura di combinare guai, toccando un punto così delicato.
Evidentemente ci deve esser stato un aggiornamento del grub.
Che fare, oltre a sperare in qualche angelo?