dots/bin/bin/is-reboot-needed

#!/bin/sh
grep -qs '^ID=arch$' /etc/os-release \
    && { test -e /lib/modules/`uname -r` \
         || echo Kernel updated, reboot computer.; }