Archived
1
0

Merge pull request #179 from codercom/anmol

Update docker oneliner and fix clone task
This commit is contained in:
Anmol Sethi 2019-03-10 11:39:27 -04:00 committed by GitHub
commit 60937c604e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 6 additions and 3 deletions

View File

@ -29,5 +29,4 @@ RUN apt-get install -y locales && \
# configured in /etc/default/locale so we need to set it manually.
ENV LANG=en_US.UTF-8
ENTRYPOINT code-server
# Unfortunately `.` does not work with code-server so we use shell form.
CMD code-server $PWD
CMD ["."]

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) => {