Release 10.0.0 #100

Manually merged
jlecour merged 321 commits from unstable into stable 2020-05-13 11:25:49 +02:00
Showing only changes of commit 4720329084 - Show all commits

View file

@ -2,7 +2,7 @@
# If this script isn't run as root, then, re-run it with sudo.
if [ "$EUID" -ne 0 ]; then
sudo $(readlink -f ${BASH_SOURCE[0]}) ${*@Q}
sudo $(readlink -f ${BASH_SOURCE[0]}) "$@"
exit 0;
fi;