Browse Source

Skip universe repo install for deb822

bryan 3 days ago
parent
commit
5dd4823c73
1 changed files with 1 additions and 1 deletions
  1. 1 1
      installJRMC

+ 1 - 1
installJRMC

@@ -546,7 +546,7 @@ install_external_repos() {
 
 
   case $ID in
   case $ID in
     ubuntu)
     ubuntu)
-      if ! grep ^deb /etc/apt/sources.list.d/* | grep -q universe; then
+      if ! grep -E '^deb|^Components' /etc/apt/sources.list.d/* | grep -q universe; then
         echo "Adding universe repository"
         echo "Adding universe repository"
         if ! execute sudo add-apt-repository -y universe; then
         if ! execute sudo add-apt-repository -y universe; then
           err "Adding universe repository failed"
           err "Adding universe repository failed"