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

VSCode Extension #1

Open
st-schneider opened this issue Oct 13, 2017 · 1 comment
Open

VSCode Extension #1

st-schneider opened this issue Oct 13, 2017 · 1 comment

Comments

@st-schneider
Copy link

Hello, you mentioned in your thesis that you also made a VSCode extension. Have you also published it? Or how did it work out?

@steindani
Copy link
Owner

Hello @bm-stschneider, yes, I have created a very, very basic, proof of concept extension that sent the just created/modified/deleted file to a locally running REST wrapper and displayed the results of one of the checks in the editor. It does not utilize the language server protocol, as it just came out at the time.

You can check it out at https://github.com/steindani/codemodel-rifle-plugin .

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

No branches or pull requests

2 participants