protonvpn

home/rachel.nix

@@ -52,8 +52,7 @@ in
       libreoffice
       protonmail-bridge
       pass
-      protonvpn-cli
-      protonvpn-gui
+      protonvpn-cli_2
       thunderbird
       tidal-hifi
       signal-desktop
@@ -161,6 +160,7 @@ in
         lspcfg.typst_lsp.setup({
           cmd = { '${pkgs.typst-lsp}/bin/typst-lsp' },
         })
+        lspcfg.rust_analyzer.setup()
         lspcfg.hls.setup({
           cmd = { '${hls_wrapper}', 'lsp' },
         })

shared/nlabsearch.py

@@ -0,0 +1,32 @@
+from bs4 import BeautifulSoup
+
+baseurl = "https://ncatlab.org"
+
+about = {
+    "website": baseurl + "/nlab/show/HomePage",
+    "use_official_api": False,
+    "require_api_key": False,
+    "results": "html"
+}
+
+# basic search
+def request(query, params):
+    params["url"] = baseurl + f"/nlab/search?query={query}"
+    return params
+
+def response(resp):
+
+    res = []
+
+    soup = BeautifulSoup(resp.content)
+
+    for entry in soup.select("#Content ul li a"):
+        url = baseurl + entry["href"]
+        title = entry.string
+        res_dict = {
+            "url": url,
+            "title": title,
+        }
+        res.append(res_dict)
+
+    return res