#!/usr/bin/env sh
# use `efibootmgr` to list boot entries
sudo efibootmgr -n 0002
sudo reboot