From cfc0e4b5cd738b0f8b64061381ea55d3e935a6dd Mon Sep 17 00:00:00 2001
From: Oscar Najera <hi@oscarnajera.com>
Date: Thu, 28 Dec 2023 17:14:30 +0100
Subject: semgrep user config
---
config/doom/config.org | 7 +++++++
scratch/semgrep/semgrep.el | 7 ++++++-
2 files changed, 13 insertions(+), 1 deletion(-)
diff --git a/config/doom/config.org b/config/doom/config.org
index c387f0e..2117188 100644
--- a/config/doom/config.org
+++ b/config/doom/config.org
@@ -139,6 +139,13 @@ Invited: %^t
"#+title: ${title}")
:unnarrowed t))
org-roam-capture-ref-templates org-roam-capture-templates))
+
+(use-package! semgrep
+ :after org
+ :load-path "~/dev/dotfiles/scratch/semgrep"
+ :commands (semgrep-search)
+ :config
+ (setq semgrep-server-url "http://localhost:8080"))
#+end_src
** Alerts
This is to set the reminders of calendar events.
diff --git a/scratch/semgrep/semgrep.el b/scratch/semgrep/semgrep.el
index a93803b..fdfcfdb 100644
--- a/scratch/semgrep/semgrep.el
+++ b/scratch/semgrep/semgrep.el
@@ -26,6 +26,11 @@
;; Silence byte-compiler.
(defvar url-http-end-of-headers)
+(defcustom semgrep-server-url "http://localhost:8080"
+ "Address where the Python server with the chromadb is listening."
+ :type 'url
+ :group 'semgrep)
+
(defun semgrep--connect (method data)
(let ((url-request-method "POST")
(url-request-extra-headers '(("Content-Type" . "application/json")))
@@ -33,7 +38,7 @@
(json-serialize `(,method ,data))
'utf-8)))
(with-current-buffer
- (url-retrieve-synchronously "http://localhost:8080")
+ (url-retrieve-synchronously semgrep-server-url)
(goto-char url-http-end-of-headers)
(json-read))))
--
cgit v1.2.3