12345678910111213141516171819202122232425262728293031 |
- #!/bin/bash
- if (( $EUID == 0 )); then
- echo "Eseguire lo script come utente non amministratore"
- exit
- fi
- # installo estensioni per italiano, devcontainer
- codium --install-extension ms-ceintl.vscode-language-pack-it
- codium --install-extension ms-vscode-remote.remote-containers
- # se la dir non esiste la creo
- DIR=~/.config/Code/User
- if [ ! -d "$DIR" ]; then
- mkdir -p "$DIR"
- fi
- # setto VSCode come preferisco
- cat > ~/.config/Code/User/settings.json << EOF
- {
- "editor.minimap.enabled": false,
- "editor.tabSize": 2,
- "editor.detectIndentation": false,
- "editor.insertSpaces": true,
- "files.trimTrailingWhitespace": true,
- "files.trimFinalNewlines": true,
- "workbench.editor.enablePreviewFromQuickOpen": true,
- "workbench.editor.enablePreviewFromCodeNavigation": true,
- }
- EOF
|