@perrinjerome/theia-open (npm): A theia extension to open files from command line
Keywords: theia-extension