Clean up shell option setting

Signed-off-by: Fil <fil.bergamo@riseup.net>
This commit is contained in:
Fil 2020-06-16 14:47:12 +02:00
parent 8c34de3ef9
commit 50afdae755
2 changed files with 4 additions and 2 deletions

View File

@ -1,4 +1,4 @@
#!/bin/sh -e #!/bin/sh
# This file is part of PrawnOS (http://www.prawnos.com) # This file is part of PrawnOS (http://www.prawnos.com)
# Copyright (c) 2018 Hal Emmerich <hal@halemmerich.com> # Copyright (c) 2018 Hal Emmerich <hal@halemmerich.com>
@ -75,6 +75,8 @@ get_root_partition()
# ------------- BEGIN SCRIPT EXECUTION -------------------- # ------------- BEGIN SCRIPT EXECUTION --------------------
set -e
# Check root or sudo # Check root or sudo
[ ! $(id -u) = 0 ] && [ ! $(id -u) = 0 ] &&
die "Please run this script with sudo, or as root" 1 die "Please run this script with sudo, or as root" 1

View File

@ -1,4 +1,4 @@
#!/bin/bash -x #!/bin/bash
# This file is part of PrawnOS (http://www.prawnos.com) # This file is part of PrawnOS (http://www.prawnos.com)
# Copyright (c) 2018 Hal Emmerich <hal@halemmerich.com> # Copyright (c) 2018 Hal Emmerich <hal@halemmerich.com>