Context: I've used VSCode.dev with the Tampermonkey Editors extension and loved it!
This is a feature request, and I'm even willing to contribute code! (Wasn't able to find the source code for Tampermonkey Editors, though...)
Expected Behavior
Ability to specify a git repository for a userscript, at the individual script level when using VSCode.dev
Note that the current setup in Tampermonkey Editors could take some improvements, for example to respect the original userscript filename, and to not include the external directory.
Actual Behavior
Currently, still copy and paste to a local file, in a directory I can commit and push. Otherwise I just copy and paste in the GitHub Gist website.
Context: I've used VSCode.dev with the Tampermonkey Editors extension and loved it!
This is a feature request, and I'm even willing to contribute code! (Wasn't able to find the source code for Tampermonkey Editors, though...)
Expected Behavior
Ability to specify a git repository for a userscript, at the individual script level when using VSCode.dev
Note that the current setup in Tampermonkey Editors could take some improvements, for example to respect the original userscript filename, and to not include the
externaldirectory.Actual Behavior
Currently, still copy and paste to a local file, in a directory I can commit and push. Otherwise I just copy and paste in the GitHub Gist website.
Specifications
Script
https://gist.github.com/mihaibirsan/d659f04663460fc775075fccf58f4b40