diff options
| author | AlexanderCurl <alexc@alexc.hu> | 2026-04-18 17:46:06 +0100 |
|---|---|---|
| committer | AlexanderCurl <alexc@alexc.hu> | 2026-04-18 17:46:06 +0100 |
| commit | 70ca3fef77ee8bdc6e3ac28589a6fa08c024cc69 (patch) | |
| tree | ab1123d4067c1b086dd6faa7ee4ea643236b565a /raveos-theme/gnome/theme-data/extensions/installed/customreboot@nova1545/42_custom_reboot | |
| parent | 5d94c0a7d44a2255b81815a52a7056a94a39842d (diff) | |
| download | RaveOS-PKGBUILD-70ca3fef77ee8bdc6e3ac28589a6fa08c024cc69.tar.gz RaveOS-PKGBUILD-70ca3fef77ee8bdc6e3ac28589a6fa08c024cc69.zip | |
Replaced file structures for themes in the correct format
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, 0 insertions, 11 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 deleted file mode 100644 index 638d768..0000000 --- a/raveos-theme/gnome/theme-data/extensions/installed/customreboot@nova1545/42_custom_reboot +++ /dev/null @@ -1,11 +0,0 @@ -#! /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 |