Skip to content

Instantly share code, notes, and snippets.

@perguth

perguth/theia

Last active May 6, 2020
Embed
What would you like to do?
πŸ‘©β€πŸ’» Start Theia in the current directory and open browser window.
#!/bin/sh
# Start Theia in the current directory and open browser window.
# Theia configuration will be stored under ~/.theia
previousInstance=$(docker ps -q --filter ancestor=theiaide/theia:next --format="{{.ID}}")
if [ "$previousInstance" ]; then
docker kill $previousInstance > /dev/null
fi
docker run -d -it --init -p 4200:3000 \
-v "$HOME/.theia:/home/project/.theia" \
-u $(id -u ${USER}):$(id -g ${USER}) \
-v "$(pwd):/home/project:cached" theiaide/theia:next \
> /dev/null 2>&1
@Kanabanarama

This comment has been minimized.

Copy link

@Kanabanarama Kanabanarama commented Sep 13, 2019

docker: failed to register layer: ApplyLayer exit status 1 stdout: stderr
->
docker run -dit --init -p 8085:3000 -v "$(pwd):/home/project:cached" theiaide/theia:next > /dev/null 2>&1

@perguth

This comment has been minimized.

Copy link
Owner Author

@perguth perguth commented Nov 7, 2019

Got it! Thanks.

@ascheschleier

This comment has been minimized.

Copy link

@ascheschleier ascheschleier commented Apr 29, 2020

to add a settings.json just add this after line 11:

-v "$HOME/.theia:/home/project/.theia" \

and add a settings.json to ~/.theia

@perguth

This comment has been minimized.

Copy link
Owner Author

@perguth perguth commented May 6, 2020

Allright, got it! Changed the script.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment