Remove snippets warning in coq

[rbdr/dotfiles] / provisioning / pacman_essential

diff --git a/provisioning/pacman_essential b/provisioning/pacman_essential
index e30d6103e4df5b7cd89a2120785a40a15195d881..e4916a17257db6be92af61010102085effecea09 100644 (file)
--- a/provisioning/pacman_essential
+++ b/provisioning/pacman_essential
@@ -5,7 +5,7 @@ bemenu
 bat
 curl
 fd
 bat
 curl
 fd

-exa
+eza

 fzf
 gnupg
 htop
 fzf
 gnupg
 htop


@@ -20,4 +20,4 @@ zsh
 inetutils
 z
 pass
 inetutils
 z
 pass

-tree-sitter
+tree-sitter-cli