diff options
| author | nippy <you@example.com> | 2026-04-18 13:49:56 +0200 |
|---|---|---|
| committer | nippy <you@example.com> | 2026-04-18 13:49:56 +0200 |
| commit | 5d94c0a7d44a2255b81815a52a7056a94a39842d (patch) | |
| tree | 759bdea9645c6a62f9e1e4c001f7d81cccd120d2 /raveos-theme/gnome/theme-data/extensions/installed/customreboot@nova1545/42_custom_reboot | |
| parent | e79cdf210b267f21a186255ce1a4d50029439d54 (diff) | |
| download | RaveOS-PKGBUILD-5d94c0a7d44a2255b81815a52a7056a94a39842d.tar.gz RaveOS-PKGBUILD-5d94c0a7d44a2255b81815a52a7056a94a39842d.zip | |
update Raveos themes
Diffstat (limited to 'raveos-theme/gnome/theme-data/extensions/installed/customreboot@nova1545/42_custom_reboot')
| -rw-r--r-- | raveos-theme/gnome/theme-data/extensions/installed/customreboot@nova1545/42_custom_reboot | 11 |
1 files changed, 11 insertions, 0 deletions
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 |