Meta: Use pls instead of sudo on SerenityOS

This commit is contained in:
Tim Schumacher 2022-06-30 20:48:51 +02:00 committed by Linus Groh
parent 84e1017272
commit 139f871781

View file

@ -14,6 +14,12 @@ fi
set -e
SUDO="sudo"
if [ "$(uname -s)" = "SerenityOS" ]; then
SUDO="pls"
fi
die() {
echo "die: $*"
exit 1
@ -25,7 +31,7 @@ if [ "$(id -u)" != 0 ]; then
if [ -x "$FUSE2FS_PATH" ] && $FUSE2FS_PATH --help 2>&1 |grep fakeroot > /dev/null; then
USE_FUSE2FS=1
else
sudo -E -- "$0" "$@" || die "this script needs to run as root"
${SUDO} -E -- "$0" "$@" || die "this script needs to run as root"
exit 0
fi
else