From 97e3064613bc0e38e84ac0afb74f1a391ea18fd3 Mon Sep 17 00:00:00 2001
From: Bruno BELANYI <bruno@belanyi.fr>
Date: Mon, 8 Apr 2024 08:49:42 +0100
Subject: [PATCH] Fix default devShell

I had this lying around locally, but it won't work in CI if I don't
commit it.
---
 flake.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index e8d9fbe..08e4cf9 100644
--- a/flake.nix
+++ b/flake.nix
@@ -112,7 +112,9 @@
             nativeBuildInputs = with pkgs; [
               bump-version
               nodejs
-              (tree-sitter.override { webUISupport = true; })
+              # FIXME: waiting on #301336
+              # (tree-sitter.override { webUISupport = true; })
+              tree-sitter
             ];
 
             inherit (checks.pre-commit) shellHook;