Update install-linux-debian-ubuntu.sh