Archived
1
0

Update docker oneliner and fix clone task

This commit is contained in:
Anmol Sethi 2019-03-09 18:41:07 -05:00
parent 8527d10033
commit 26edea5098
No known key found for this signature in database
GPG Key ID: 8CEF1878FF10ADEB
2 changed files with 5 additions and 1 deletions

View File

@ -9,7 +9,7 @@
Try it out:
```bash
docker run -t -p 127.0.0.1:8443:8443 -v "${PWD}:/root/project" codercom/code-server code-server --allow-http --no-auth
docker run -t -p 127.0.0.1:8443:8443 -v "${PWD}:/root/project" codercom/code-server --allow-http --no-auth
```
- Code on your Chromebook, tablet, and laptop with a consistent dev environment.

View File

@ -241,6 +241,10 @@ const ensureClean = register("vscode:clean", async (runner) => {
throw new Error(`Failed to remove unstaged files: ${removeUnstaged.stderr}`);
}
}
const fetch = await runner.execute("git", ["fetch", "--prune"]);
if (fetch.exitCode !== 0) {
throw new Error(`Failed to fetch latest changes: ${fetch.stderr}`);
}
});
const ensurePatched = register("vscode:patch", async (runner) => {