update for ubuntu 22.04

Author: phizenz

scripts/setup/debian.sh

@@ -1,15 +1,10 @@
 #!/bin/bash
+set -e
 
 # src: https://stackoverflow.com/a/246128/16527499
 SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
 
-# Enable non-free packages
-sudo sed -i -e's/ main$/ main contrib non-free non-free-firmware/g' \
-    /etc/apt/sources.list.d/debian.sources
-sudo sed -i -e's/ main$/ main contrib non-free non-free-firmware/g' \
-    /etc/apt/sources.list
-
-sudo apt-get update -y && apt-get upgrade -y -q --no-install-recommends
+sudo apt-get update -y && sudo apt-get upgrade -y -q --no-install-recommends
 
 sudo $SCRIPT_DIR/debian/base.sh
 sudo $SCRIPT_DIR/debian/interactive.sh

scripts/setup/debian/libs.sh

@@ -23,7 +23,6 @@ apt-get install -y -q --no-install-recommends \
     libparmetis-dev \
     libscotch-dev \
     libzstd-dev \
-    cppzmq-dev \
     uuid-dev \
     petsc-dev \
     slepc-dev \