# Theia software release

Theia is a cloud (and desktop) IDE https://www.theia-ide.org

This version comes pre-configured with a few plugins, but does not come with python plugin, to let
you choose between theia and vscode one.

## Installing vscode extensions

To install vscode's python plugin ( https://code.visualstudio.com/docs/languages/python ):

<key>F1</key> `Deploy plugin by id` and enter `vscode:extension/ms-python.python` and wait for a while.
Check theia's log files in case of issues.

see https://github.com/theia-ide/theia/wiki/Testing-VS-Code-extensions for more details.
