smithp4ntz
08/21/2024, 8:19 PMvroldanbet
08/22/2024, 9:12 AMspicebd lsp command.
Finally, we've built an official VSCode extension, powered by the LSP:
https://marketplace.visualstudio.com/items?itemName=authzed.spicedb-vscodesmithp4ntz
08/22/2024, 12:37 PMsmithp4ntz
08/22/2024, 12:37 PM[ERROR][2024-08-22 08:36:52] .../vim/lsp/rpc.lua:770 "rpc" "/usr/local/bin/spicedb" "stderr" '{"level":"info","diagnostics":0,"uri":"file:///home/smith/git/dns-poc/test.zed","time":"2024-08-22T08:36:52-04:00","message":"computed diagnostics"}\n{"level":"info","id":"0","method":"textDocument/didChange","params":"{\\"contentChanges\\":[{\\"text\\":\\"\\\\ndefinition user{}\\\\n\\\\n\\\\n\\\\ndefinition organization {}\\\\n\\\\ncaveat someCaveat(someParam int) {\\\\n\\\\tsomeParam \\\\u003e 2\\\\n}\\\\n\\"}],\\"textDocument\\":{\\"uri\\":\\"file:///home/smith/git/dns-poc/test.zed\\",\\"version\\":47}}","response":null,"time":"2024-08-22T08:36:52-04:00","message":"responded to LSP request"}\n'
[ERROR][2024-08-22 08:36:52] .../vim/lsp/rpc.lua:770 "rpc" "/usr/local/bin/spicedb" "stderr" '{"level":"info","method":"textDocument/diagnostic","uri":"file:///home/smith/git/dns-poc/test.zed","time":"2024-08-22T08:36:52-04:00","message":"textDocDiagnostic"}\n'
[ERROR][2024-08-22 08:36:52] .../vim/lsp/rpc.lua:770 "rpc" "/usr/local/bin/spicedb" "stderr" '{"level":"info","diagnostics":0,"uri":"file:///home/smith/git/dns-poc/test.zed","time":"2024-08-22T08:36:52-04:00","message":"computed diagnostics"}\n{"level":"info","uri":"file:///home/smith/git/dns-poc/test.zed","diagnostics":0,"time":"2024-08-22T08:36:52-04:00","message":"diagnostics complete"}\n{"level":"info","id":"45","method":"textDocument/diagnostic","params":"{\\"range\\":{\\"end\\":{\\"character\\":0,\\"line\\":10},\\"start\\":{\\"character\\":0,\\"line\\":0}},\\"textDocument\\":{\\"uri\\":\\"file:///home/smith/git/dns-poc/test.zed\\"}}","response":{"kind":"full","items":[]},"time":"2024-08-22T08:36:52-04:00","message":"responded to LSP request"}\n'smithp4ntz
08/22/2024, 12:43 PMsmithp4ntz
08/22/2024, 12:45 PMsmithp4ntz
08/22/2024, 12:47 PMlocal util = require 'lspconfig.util'
return {
default_config = {
cmd = { 'spicedb', 'lsp'},
filetypes = { 'authzed' },
root_dir = util.root_pattern('.zed'),
single_file_support = true,
},
}
init.lua
require('lspconfig').authzed.setup {
capabilities = capabilities,
on_attach = on_attach,
}smithp4ntz
08/22/2024, 2:12 PMsmithp4ntz
08/22/2024, 2:12 PMvroldanbet
08/22/2024, 3:38 PMJoey
08/22/2024, 3:39 PMJoey
08/22/2024, 3:39 PMsmithp4ntz
08/22/2024, 3:52 PMvroldanbet
08/23/2024, 8:50 AMvroldanbet
08/23/2024, 8:50 AMsmithp4ntz
08/23/2024, 12:48 PMsmithp4ntz
08/23/2024, 12:49 PMsmithp4ntz
08/23/2024, 12:49 PMvroldanbet
08/23/2024, 12:55 PM