Browse Source

Check legacy sources for universe

bryan 2 days ago
parent
commit
395006f338
1 changed files with 1 additions and 1 deletions
  1. 1 1
      installJRMC

+ 1 - 1
installJRMC

@@ -538,7 +538,7 @@ install_external_repos() {
 
 
   case $ID in
   case $ID in
     ubuntu)
     ubuntu)
-      if ! grep -E '^deb|^Components' /etc/apt/sources.list.d/* | grep -q universe; then
+      if ! grep -E '^deb|^Components' /etc/apt/sources.list /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"