vp-06-configure-vscode.sh 787 B

12345678910111213141516171819202122232425262728293031
  1. #!/bin/bash
  2. if (( $EUID == 0 )); then
  3. echo "Eseguire lo script come utente non amministratore"
  4. exit
  5. fi
  6. # installo estensioni per italiano, devcontainer
  7. codium --install-extension ms-ceintl.vscode-language-pack-it
  8. codium --install-extension ms-vscode-remote.remote-containers
  9. # se la dir non esiste la creo
  10. DIR=~/.config/Code/User
  11. if [ ! -d "$DIR" ]; then
  12. mkdir -p "$DIR"
  13. fi
  14. # setto VSCode come preferisco
  15. cat > ~/.config/Code/User/settings.json << EOF
  16. {
  17. "editor.minimap.enabled": false,
  18. "editor.tabSize": 2,
  19. "editor.detectIndentation": false,
  20. "editor.insertSpaces": true,
  21. "files.trimTrailingWhitespace": true,
  22. "files.trimFinalNewlines": true,
  23. "workbench.editor.enablePreviewFromQuickOpen": true,
  24. "workbench.editor.enablePreviewFromCodeNavigation": true,
  25. }
  26. EOF