Remove snippets warning in coq

[rbdr/dotfiles] / provision

diff --git a/provision b/provision
index baac03bbad9c7718dc85e2ab17ac17b5fd3d9f78..6574db986eee7de0614fd9c48155359a2fc3acc2 100755 (executable)
--- a/provision
+++ b/provision
@@ -7,16 +7,21 @@ else
     command_name="brew"
     install_command="install"
   else
     command_name="brew"
     install_command="install"
   else

-    if command -v apt &>  /dev/null; then
-      command_name="apt"
+    if command -v dnf &>  /dev/null; then
+      command_name="dnf"

       install_command="install"
     else
       if command -v pacman &>  /dev/null; then
         command_name="pacman"
         install_command="-Sy"
       else
       install_command="install"
     else
       if command -v pacman &>  /dev/null; then
         command_name="pacman"
         install_command="-Sy"
       else

-        echo "Error: No valid package manager. Make sure brew or apt are available."
-        exit 1
+        if command -v pacman &>  /dev/null; then
+          command_name="apt"
+          install_command="install"
+        else
+          echo "Error: No valid package manager. Make sure brew or apt are available."
+          exit 1
+        fi

       fi
     fi
   fi
       fi
     fi
   fi