[petanque] Always initialize default workspace.

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

GNU Lesser General Public License v2.1

150 stars 31 forks source link

[petanque] Always initialize default workspace. #782

Closed ejgallego closed 3 months ago

ejgallego commented 3 months ago

This fixes a bug if pet-server was initialized without --root

ejgallego commented 3 months ago

@gbdrt let me know if that improves things; will look into the problem with premises.

Note that setting --root to a non-absolute path is not really supported, if this is the problem with premises then it will unfortunately take a while to fix.