This document pulls instructions from various sources into one place. Assumes the dev is working within a Windows environment.
GET LISTED | sparkplug.eclipse.org
This page has a link to download binaries (.zip file) that you need to get started. While looking at the GitHub page, it was not obvious (to me, anyway) this .zip is being referenced. The download link is not super visible, look for the following:
> You can download the current TCK binaries from here.
Taking the key points from this article: http://woshub.com/port-forwarding-in-windows/
These are the prerequisites for the correct operation of port forwarding in Windows. Without the IP Helper service and without IPv6 support enabled, the port redirection won’t work.
| # | |
| # ============================================================================= | |
| # This script can be used to clean a folder that has 2 copies of each file. | |
| # There should be an original version, ie "fileA.txt" and a copy, | |
| # ie "fileA - Copy.txt". You need to review / change the values of the | |
| # constants below. | |
| # | |
| # https://gist.github.com/scottmwyant/981bdffbae8898a22a558e0c75b6cbcf | |
| # ============================================================================= | |
| # |
| <!DOCTYPE html> | |
| <html lang="en"> | |
| <!-- | |
| This document is used visually inspect how tokens are stylized across different themes in VS Code. | |
| Pay attention to the constant named 'myThemeData'. It is an array of objects, each object has 3 keys: | |
| 'name', 'editorBackground', and tokenColors. The editorBackground and tokenColor data is copied | |
| from the JSON data seen by using the 'Developer: Generate Color Theme From Current Settings' | |
| command in VS Code. The name is simply the theme's display name as seen in the VS Code menu. |
This request will return a whole bunch of information about a given extension, ms-python.python for example.
Note that I'm running Windows and ran into some trouble with escaping quotes. The JSON may need to be massaged a bit to work on Linux, start by replacing the double-quotes on the ends with single quotes and stripping out the escape characters (change \" to just ").
curl --request POST https://marketplace.visualstudio.com/_apis/public/gallery/extensionquery/ --header "Accept: application/json;api-version=3.0-preview.1" --header "Content-Type: application/json" --data-raw "{\"filters\": [{\"criteria\": [{\"filterType\": 7,\"value\": \"ms-python.python\"}]}],\"flags\": 914}"
Resources:
| <!DOCTYPE html> | |
| <html lang="en"> | |
| <head> | |
| <meta charset="UTF-8"> | |
| <meta name="viewport" content="width=device-width, initial-scale=1.0"> | |
| <meta http-equiv="X-UA-Compatible" content="ie=edge"> | |
| <title>Document</title> | |
| <link href="https://unpkg.com/mocha@7.0.0/mocha.css" rel="stylesheet" /> | |
| <script src="https://unpkg.com/chai@4.2.0/chai.js"></script> |
User settings and snippets are stored in the APPDATA folder. Point these locations to a suitable location that is monitored by a cloud sync service.
cd %APPDATA%\code\user
mklink settings.json c:\users\<user>\onedrive\...\settings.json
mklink /D snippets c:\users\<user>\onedrive\...\snippets
| function Write-Title{ | |
| param([string]$Title) | |
| Clear-Host | |
| Write-Host | |
| Write-Host " -- $Title --" | |
| Write-Host | |
| } | |
| function Get-Path{ | |
| param([string]$Prompt, [string]$DefaultValue) |
| # The original version of this script is attributed to GingerNinja, https://www.gngrninja.com/. | |
| # See the blog article here: https://www.gngrninja.com/script-ninja/2016/5/24/powershell-calculating-folder-sizes | |
| <# | |
| .SYNOPSIS | |
| Get-FolderSize.ps1 | |
| Returns the size of folders in MB and GB. | |
| .DESCRIPTION |