search

rzk-lang / vscode-rzk

Visual Studio Code Extension(s) for Rzk proof assistant.
https://marketplace.visualstudio.com/items?itemName=NikolaiKudasovfizruk.rzk-1-experimental-highlighting
Other
8 stars 1 forks source link

Fix updating rzk binary #63

Closed aabounegm closed 1 year ago

aabounegm commented 1 year ago

I am assuming that this is all that's needed to fix #60 , but I do not have Linux to test it. It would be great if someone who faced the problem on their system can test this. Edit: tested and updated Resolves #59 as well

aabounegm commented 1 year ago

I installed Ubuntu live disk on a USB and was able to reproduce the error as well as fix it properly. It should be good to merge now