From 5d94c0a7d44a2255b81815a52a7056a94a39842d Mon Sep 17 00:00:00 2001 From: nippy Date: Sat, 18 Apr 2026 13:49:56 +0200 Subject: update Raveos themes --- .../installed/customreboot@nova1545/42_custom_reboot | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 raveos-theme/gnome/theme-data/extensions/installed/customreboot@nova1545/42_custom_reboot (limited to 'raveos-theme/gnome/theme-data/extensions/installed/customreboot@nova1545/42_custom_reboot') diff --git a/raveos-theme/gnome/theme-data/extensions/installed/customreboot@nova1545/42_custom_reboot b/raveos-theme/gnome/theme-data/extensions/installed/customreboot@nova1545/42_custom_reboot new file mode 100644 index 0000000..638d768 --- /dev/null +++ b/raveos-theme/gnome/theme-data/extensions/installed/customreboot@nova1545/42_custom_reboot @@ -0,0 +1,11 @@ +#! /bin/sh +# This script allows the extension to skip grub's timeout when rebooting + +set -e + +cat << EOF +if [ ! -z "\${boot_once}" ] ; then + set timeout_style=hidden + set timeout=0 +fi +EOF \ No newline at end of file -- cgit v1.3