diff options
| author | Oscar Najera <hi@oscarnajera.com> | 2023-12-28 17:14:30 +0100 |
|---|---|---|
| committer | Oscar Najera <hi@oscarnajera.com> | 2024-01-13 02:27:42 +0100 |
| commit | cfc0e4b5cd738b0f8b64061381ea55d3e935a6dd (patch) | |
| tree | 6f7effe83889a405c6bca07e01896617f0de9eda /scratch/semgrep | |
| parent | 97d4f907f670b4a16edf972a9339c194822eb476 (diff) | |
| download | dotfiles-cfc0e4b5cd738b0f8b64061381ea55d3e935a6dd.tar.gz dotfiles-cfc0e4b5cd738b0f8b64061381ea55d3e935a6dd.tar.bz2 dotfiles-cfc0e4b5cd738b0f8b64061381ea55d3e935a6dd.zip | |
semgrep user config
Diffstat (limited to 'scratch/semgrep')
| -rw-r--r-- | scratch/semgrep/semgrep.el | 7 |
1 files changed, 6 insertions, 1 deletions
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)))) |