From 5fc38e74e6c47e8dbbb0ed51dc74256455e5fc65 Mon Sep 17 00:00:00 2001
From: Bastien Chanot <git@bchanot.fr>
Date: Tue, 7 Jul 2026 00:14:06 +0200
Subject: [PATCH] job5: J5-10 delete plugin_enabled (last caller replaced at
 6d72d0a)

---
 lib/detect-plugins.sh | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/lib/detect-plugins.sh b/lib/detect-plugins.sh
index 6e2de38..638904c 100644
--- a/lib/detect-plugins.sh
+++ b/lib/detect-plugins.sh
@@ -63,15 +63,6 @@ detect_graphifyy() {
   command -v graphify &>/dev/null
 }
 
-# True if a plugin is registered as enabled in settings.json's
-# enabledPlugins map. Filesystem only (no subprocess to claude CLI).
-# Argument is the full "name@marketplace" key.
-plugin_enabled() {
-  local key="$1"
-  [ -f "$HOME/.claude/settings.json" ] || return 1
-  grep -qE "\"${key}\"[[:space:]]*:[[:space:]]*true" "$HOME/.claude/settings.json"
-}
-
 
 # --- Plan detection ---