VS Code - Focus Terminal-Editor
- Dettagli
- Categoria: VS Code
- Visite: 1195
Here how you can customize the key bindings in order to switch focus between editor and integrated terminal.
I have done it editing the file "data\user-data\User\keybindings.json" and adding the settings there. Just save and test it.
My binds in my italian keyboards:
CTRL + \
Switch focus between Editor and Terminal
The key backslash "\" in my keyboard is under the ESC key.
ALT + \
Open the Terminal if it's closed
VS Code - Remote SSH Terminal Nano
- Dettagli
- Categoria: VS Code
- Visite: 1148
When you use Visual Studio Code with SSH extension you can run from your linux command line the command "code" to edit your files. let me say it's fantastic, real useful. If you still using classic Terminal session with Putty or others, you will need a classic linux editor like nano. Well I often fall in a mitstake and write code in putty and viceversa.
Solution is to create a function () and name it "nano" and stored it in the .bashrc file.
VS Code - Terminal colors
- Dettagli
- Categoria: VS Code
- Visite: 1264
This article contains how to customize the foreground, background and cursor color on VS Code Terminal.
Use different colors schema for each ssh remote helps to recognize them. Or maybe you want to change your local terminal colors.
We need to add/change the workbench setting inside the file settings.json.
Su due sedie
- Dettagli
- Categoria: Saggezze
- Visite: 1339
Una frase letta in un blog in russo scritto da un bielorusso che parla del suo presidente.
Una differenza tra animale e uomo
- Dettagli
- Categoria: Saggezze
- Visite: 2705
Marco Travaglio ha terminato un suo recente articolo con una frase trovata su internet scritta da un anonimo. Mi è piaciuta tanto.
Un sogno, un Mondo, una bandiera
- Dettagli
- Categoria: Saggezze
- Visite: 1252
Anch'io ho un sogno pur se utopistico risolverebbe tanti problemi e porterebbe la pace.
From UTC to Local Time Zone
- Dettagli
- Categoria: PHP
- Visite: 4154
One of my latest experience has been to show the correct date time to russian guys.
In order to manage the right local date for each country I have done the following 3 simple steps:
- Store the date in GMT format (Greenwich Mean Time)
- Declare the momentJS in my webpage
- Use the momentJS function to convert the date
Browser will do a right conversion
Si crede superiore
- Dettagli
- Categoria: Saggezze
- Visite: 1153
Leggendo su quora mi è capitato di leggere una frase di Totò
FileZilla Directory Comparison Timestamp problem
- Dettagli
- Categoria: Articles
- Visite: 2516
Let me start saying "Finally Fixed!"...Ok, it's just a work around but you can be sure to find all differences.
Who use the "directory comparison" feature noted for sure green folders but files are the same. This just because foler modified timestamp in folders are different.
Pagina 3 di 12