#!/usr/bin/sh # # name: Enter BIOS # icon: system-restart # description: Reboot into BIOS # keywords: bios uefi reboot restart set -eu is_gnome() { command -v dbus-send >/dev/null && \ command -v gnome-session-quit >/dev/null && \ dbus-send --print-reply --dest=org.gnome.Shell /org/gnome/Shell org.freedesktop.DBus.Properties.Get string:org.gnome.Shell string:ShellVersion >/dev/null 2>&1 } if is_gnome; then systemctl reboot --firmware-setup elif command -v systemctl >/dev/null; then systemctl reboot --firmware-setup fi