{ "files.autoSave": "afterDelay", "remote.SSH.remotePlatform": { "myserver": "linux" } }