👩‍💻 Start Theia in the current directory and open browser window.

theia

#!/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

Got it! Thanks.

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

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

and add a settings.json to ~/.theia

Allright, got it! Changed the script.