Remove snippets warning in coq

[rbdr/dotfiles] / provision

diff --git a/provision b/provision
index f21a7aa8164e14915bcf69581575c29319399cac..6574db986eee7de0614fd9c48155359a2fc3acc2 100755 (executable)
--- a/provision
+++ b/provision
@@ -7,8 +7,8 @@ else
     command_name="brew"
     install_command="install"
   else
-    if command -v apt &>  /dev/null; then
-      command_name="yum"
+    if command -v dnf &>  /dev/null; then
+      command_name="dnf"
       install_command="install"
     else
       if command -v pacman &>  /dev/null; then