Skip to content

Update master #1

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

Merged
merged 164 commits into from
Sep 16, 2019
Merged

Update master #1

merged 164 commits into from
Sep 16, 2019

Conversation

admvx
Copy link
Owner

@admvx admvx commented Sep 16, 2019

No description provided.

code-asher and others added 29 commits August 30, 2019 17:45
Rewrite and update documentation
There's no way to actually know if those clients have gone away, so it
seems it might be better to base it on whether the user has connected
again with new clients to determine if the old clients are now invalid.
As reported in GH-962, this breaks VSCode's extension details view. Might need further triage if its also a v2 internal issue.
I somehow deleted it during the conflict resolution

Signed-off-by: Ayane Satomi <[email protected]>
[v2] Rewrite code-server to use new web stuff
This will be used to load extensions into the browser using requirefs.
It seems to copy the entire directory to the second container for some
reason and runs out of space.
We will clean it up on our end if necessary. This allows reconnections
after any length of time.
Should allow manual installation of bracket pair colorizer 2: #544.
@admvx admvx merged commit 1c39dff into admvx:master Sep 16, 2019
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

Successfully merging this pull request may close these issues.

8 participants