if findmnt --fstab -uno SOURCE /boot &>/dev/null && ! mountpoint -q /boot; then
echo "WARNING: /boot appears to be a separate partition but is not mounted."
Copyright © 2004-2019 aurweb Development Team –
AUR packages are user produced content. Any use of the provided files is at your own risk.