VSCode
VSCode User Guide
- Basic Editing
- Extension Marketplace
- IntelliSense
- Code Navigation
- Refactoring
- Debugging
- Version Control
- Integrated Terminal
- Multi-root Workspaces
- Tasks
- Snippets
- Emmet
- Command Line
- Accessibility
Version Control en VSCode
- Using Version Control in VS Code
- Video Git Version Control in VS Code
- Video Git in Visual Studio Code
Collaboration
Profiles
Profiles can be used to customize VS Code for students to ease the use in a classroom setting. Profiles allow educators to quickly share a customized VS Code setup with students. For example, educators can create a profile with a specific set of extensions and settings needed for a computer science class and then share that profile with students.
In vscode how can I modify my settings accesing them as a json object?
To modify your Visual Studio Code settings by accessing them as a JSON object, you can follow these steps:
- Open Visual Studio Code
- Press
Cmd+,(on macOS) orCtrl+,(on Windows/Linux) to open the Settings panel - In the top-right corner of the Settings panel, you’ll see an icon that looks like a file with an arrow.
- Click on this icon to “Open Settings (JSON)”
This will open the settings.json file, where you can directly edit your VS Code settings as a JSON object. Here’s an example of what it might look like:
{
"editor.fontSize": 14,
"editor.tabSize": 2,
"editor.wordWrap": "on",
"workbench.colorTheme": "Default Dark+",
"files.autoSave": "afterDelay",
"files.autoSaveDelay": 1000
}You can add, modify, or remove settings in this JSON file. Each setting is a key-value pair. After making changes, save the file, and the settings will be applied immediately.
Remember to use proper JSON syntax:
- Use double quotes for both keys and string values
- Separate key-value pairs with commas
- Don’t put a comma after the last item in a list or object
See Settings JSON file for more information.
This method of editing settings gives you more direct control and allows you to easily copy, paste, or share your settings configuration.
Remote - SSH: Editando con VSCode en una máquina remota via SSH
- VSCode: Remote Development tutorials
- Remote - SSH. The Remote - SSH extension lets you use any remote machine with a SSH server as your development environment.
- Remote - SSH: Editing Configuration Files
- Vídeo del profesor usando Remote SSH para conectar a una máquina de iaas.ull.es
Ligatures/ Ligaduras
- FireCode GitHub (free monospaced font with programming ligatures)
- Video tutorial Agregar Fuente ‘Fira Code’ para codificar mejor en JavaScript.
- Install and validate fonts in Font Book on Mac
VSCode: Settings file locations
- Depending on your platform, the user settings file is located here:
- Windows %APPDATA%\Code\User\settings.json
- macOS $HOME/Library/Application Support/Code/User/settings.json
- Linux $HOME/.config/Code/User/settings.json
- The workspace setting file is located under the .vscode folder in your root folder.
VS Code Tips and Tricks
- VS Code Tips and Tricks Tutorial
- VS Code Tips and Tricks Tutorial Repo
- Vídeo de Jesús Torres: Breve intro de cómo programar y depurar C++ con Visual Studio Code + Gatos