Gregory M. Kapfhammer

Results 42 comments of Gregory M. Kapfhammer

HI @FallenAngel97 and @ms-jpq I am writing to confirm that I have frequently experienced this same issue when using this plugin. Thanks for your work on coq_nvim, is there any...

For the record, this issue seems to be related, at least partially, to the following issues: #250 and #207.

Hello @jonasstr thanks for your feedback! I ran Neovim in a fashion that would extract a stacktrace, following this tutorial: https://stackoverflow.com/questions/77005/how-to-automatically-generate-a-stacktrace-when-my-program-crashes This produced the following stack trace: ``` 7f23875cf000-7f23875d0000 r-xp...

Hello @ms-jpq and @jonasstr! I completely disabled all of my Treesitter configurations and then continued in my normal workflow and I can confirm that Neovim crashes in exactly the same...

Oh, @ms-jpq, there is one issue that I realized was not clear enough in my initial report! The segmentation faults that I have described happen when: - I am editing...

Hello @jeffreytse and @mskar, I wanted to confirm that I also experienced this behavior when I was used `nvim` and this plugin in a tmux session. I have used the...

Hello @timvink, thanks for pointing out the https://github.com/greenape/mknotebooks plugin, that looks interesting! I've not yet had time to try that plugin, but I did read its documentation. If I understand...

Hello @EvonX I would be interested in using pyupdate. I noticed that the provided example does not show how to use the `Instrument` even though there is an example of...

Hi @Michionlion, yes, I see what you mean. One quick point: the functionality to perform the detection _does_ currently live in GatorGrader now, although it exists for a different purpose....

Hi @Michionlion, if GatorGradle is not modified to support Poetry, then will it no longer be possible to use GatorGradle if we merge PRs that remove all of the Pipenv...