software/theia: enable user installation of pip packages
this can be used to install linters such as pylint when the python extension prompts for it also add ~/.local/bin in user $PATH to prevent warning and to be able to use pip installed packages from the shell.
Showing
Please register or sign in to comment