Skip to content

Setting up a Git repository when used with VSCode.dev via Tampermonkey Editors #4

Description

@mihaibirsan

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.

Specifications

  • Chromium: (i.e. 64.0.3282.140)
  • TM: (i.e. 4.5.5648)
  • OS: (i.e. MacOS 10.13.4)

Script

https://gist.github.com/mihaibirsan/d659f04663460fc775075fccf58f4b40

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions