Skip to content

Be able to stop the server entirely #320

@dnikolovv

Description

@dnikolovv

Often times the server just decides to hang or just simply not work. In these cases it's usually handy to resort to ghci or stack build --file-watch.

The problem is that when the server hangs you cannot use stack due to it also hanging due to a lock blocking for directory lock on /home/some/path/.stack-work/dist/x86_64-linux/Cabal-3.0.1.0/build-lock.

Sometimes you just want to quit trying to make the language server work and simply use VS Code + a separate terminal. It'd be nice if there was a command that shuts down the server entirely.

I haven't found a sane workaround so far.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions