Add the remote-dev command #1666
Conversation
|
This needs some tests and docs before it is properly ready to be merged, but just opened a PR here for testing. |
| * as indicated by the @author tags. See the copyright.txt file in the | ||
| * distribution for a full listing of individual contributors. | ||
| * This is free software; you can redistribute it and/or modify it | ||
| * under the terms of the GNU Lesser General Public License as |
There was a problem hiding this comment.
you seem to have a random variety of headers. In particular this one mentionging LGPL is probably not OK :)
I think would be best if you could delete them all?
There was a problem hiding this comment.
Oops, this was from some old code I had lying around
This allows for remote container based development using a websocket connection.
stuartwdouglas
force-pushed
the
remote-dev2
branch
from
358a357 to
087b16f
Compare
@stuartwdouglas are you happy with "tests and docs" aspect? |
There was a problem hiding this comment.
Looking good. I'd merge it but @stuartwdouglas seemed to prefer to hold until he had some more tests/docs?
|
I added tests and docs yesterday, so it should be all good |
3 participants
This allows for remote container based development using a websocket connection.