Remove snippets warning in coq

[rbdr/dotfiles] / provision

#!/usr/bin/env bash

if [[ -z "$1" ]]; then
  echo "Run with parameters: essential, nice, cask_essential, or cask_nice"
else
  if command -v brew &>  /dev/null; then
    command_name="brew"
    install_command="install"
  else
    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
        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
  file="./provisioning/${command_name}_$1"
  if [[ -f $file ]]; then
    echo "Provisioning $1 with $command_name"
    cat ./provisioning/${command_name}_$1 | xargs ${command_name} ${install_command}
  else
    echo "No provisioning recipe for $1 with $command_name"
    exit 1
  fi
fi