Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

LSP configuration for Neovim #1181

Merged
merged 6 commits into from
Sep 28, 2023
Merged

LSP configuration for Neovim #1181

merged 6 commits into from
Sep 28, 2023

Conversation

bugarela
Copy link
Collaborator

Hello :octocat:

I've added some instructions on how to setup neovim with LSP. I'm not a neovim user, and my configuration is done through NixOS (home-manager), so I'm not 100% sure this instructions are the right way of doing things in a normal unix system. @konnov can you try them out, maybe?

  • [-] Tests added for any new code
  • Documentation added for any new functionality
  • [-] Entries added to the respective CHANGELOG.md for any new functionality
  • [-] Feature table on README.md updated for any listed functionality

@bugarela bugarela requested a review from konnov September 25, 2023 14:47
@bugarela bugarela self-assigned this Sep 25, 2023
@konnov
Copy link
Contributor

konnov commented Sep 27, 2023

Hey @bugarela! I have followed the instructions, but it does not work for me. Perhaps, we need a section on troubleshooting. I have no idea, whether the server has started and how to check it in nvim.

@konnov
Copy link
Contributor

konnov commented Sep 27, 2023

Oh, it's actually working! nvim was not picking up the syntax file. I am updating the README file. Amazing!

Nevertheless, we should probably add a paragraph on how to see, what is not working.

@bugarela
Copy link
Collaborator Author

Ah, I see! The syntax instructions I just copied from comments inside quint.vim, I did not think they would differ for nvim (I'm using the tree-sitter highlighting in my config) - will update the comments as well.

@konnov
Copy link
Contributor

konnov commented Sep 28, 2023

I tried it in vim too, and it works. Amazing!

Copy link
Contributor

@konnov konnov left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It's amazing. Works both with neovim and vim.

@bugarela
Copy link
Collaborator Author

@konnov I meant to add a troubleshooting section as you asked, but not having used vim/nvim before, I don't really know any troubleshooting better than "google stuff and look at the docs" 😆. Perhaps we can build this section over time, as people (and ourselves) find problems and solutions.

@bugarela bugarela enabled auto-merge September 28, 2023 12:45
@bugarela bugarela merged commit 8b7bd64 into main Sep 28, 2023
15 checks passed
@bugarela bugarela deleted the gabriela/neovim-lsp branch September 28, 2023 12:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants