theia-open (pypi): A command line to open file from within theia
Keywords: theia|editor|theia-extension