Skip to content

Instantly share code, notes, and snippets.

@renjieliu
Last active October 30, 2020 19:55
Show Gist options
  • Save renjieliu/8de5cb39d0d06099956dc5527fc9bb84 to your computer and use it in GitHub Desktop.
Save renjieliu/8de5cb39d0d06099956dc5527fc9bb84 to your computer and use it in GitHub Desktop.
This is used for Visual Studio code settings sync
{"lastUpload":"2020-10-30T19:55:49.351Z","extensionVersion":"v3.4.3"}
[
{
"metadata": {
"id": "e337c67b-55c2-4fef-8949-eb260e7fb7fd",
"publisherId": "Shan.code-settings-sync",
"publisherDisplayName": "Shan"
},
"name": "code-settings-sync",
"publisher": "Shan",
"version": "3.4.3"
},
{
"metadata": {
"id": "98790d67-10fa-497c-9113-f6c7489207b2",
"publisherId": "yzhang.markdown-all-in-one",
"publisherDisplayName": "yzhang"
},
"name": "markdown-all-in-one",
"publisher": "yzhang",
"version": "3.3.0"
},
{
"metadata": {
"id": "d56562ae-394d-46cd-a26d-2eafab4ce5a2",
"publisherId": "scalameta.metals",
"publisherDisplayName": "scalameta"
},
"name": "metals",
"publisher": "scalameta",
"version": "1.9.4"
},
{
"metadata": {
"id": "de785715-a9d3-4b21-8e9d-5aba0be1ac64",
"publisherId": "ms-vscode.notepadplusplus-keybindings",
"publisherDisplayName": "ms-vscode"
},
"name": "notepadplusplus-keybindings",
"publisher": "ms-vscode",
"version": "1.0.5"
},
{
"metadata": {
"id": "f1f59ae4-9318-4f3c-a9b5-81b2eaa5f8a5",
"publisherId": "ms-python.python",
"publisherDisplayName": "ms-python"
},
"name": "python",
"publisher": "ms-python",
"version": "2020.10.332292344"
},
{
"metadata": {
"id": "607fd052-be03-4363-b657-2bd62b83d28a",
"publisherId": "ms-vscode-remote.remote-ssh",
"publisherDisplayName": "ms-vscode-remote"
},
"name": "remote-ssh",
"publisher": "ms-vscode-remote",
"version": "0.55.0"
},
{
"metadata": {
"id": "bfeaf631-bcff-4908-93ed-fda4ef9a0c5c",
"publisherId": "ms-vscode-remote.remote-ssh-edit",
"publisherDisplayName": "ms-vscode-remote"
},
"name": "remote-ssh-edit",
"publisher": "ms-vscode-remote",
"version": "0.55.0"
},
{
"metadata": {
"id": "c6f87c08-f5ca-4f59-8cee-bc29464dcbfb",
"publisherId": "scala-lang.scala",
"publisherDisplayName": "scala-lang"
},
"name": "scala",
"publisher": "scala-lang",
"version": "0.4.5"
},
{
"metadata": {
"id": "92d01ae4-5a2e-4299-990c-7905798fb719",
"publisherId": "jsynowiec.vscode-insertdatestring",
"publisherDisplayName": "jsynowiec"
},
"name": "vscode-insertdatestring",
"publisher": "jsynowiec",
"version": "2.3.0"
}
]
{
"workbench.colorTheme": "Default Light+",
"python.jediEnabled": false,
"python.linting.pylintEnabled": true,
"editor.fontFamily": "'Courier New', Consolas, monospace",
"remote.SSH.remotePlatform": {
"192.168.1.204": "linux"
},
"files.watcherExclude": {
"**/.bloop": true,
"**/.metals": true,
"**/.ammonite": true
},
"editor.minimap.enabled": false,
"editor.suggestSelection": "first",
"vsintellicode.modify.editor.suggestSelection": "automaticallyOverrodeDefaultValue",
"insertDateString.format": "-- YYYY-MM-DD_hhmmss",
"sync.gist": "8de5cb39d0d06099956dc5527fc9bb84"
}
{
// Place your snippets for scala here. Each snippet is defined under a snippet name and has a prefix, body and
// description. The prefix is what is used to trigger the snippet and the body will be expanded and inserted. Possible variables are:
// $1, $2 for tab stops, $0 for the final cursor position, and ${1:label}, ${2:another} for placeholders. Placeholders with the
// same ids are connected.
// Example:
// "Print to console": {
// "prefix": "log",
// "body": [
// "console.log('$1');",
// "$2"
// ],
// "description": "Log output to console"
// }
"Print to console": {
"prefix": "def main",
"body": [
"def main(args: Array[String]): Unit = {",
"\t$0",
"}"
],
"description": "Log output to console"
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment