Documentation de Visual Studio Code

Table des matières

Installation de Visual Studio code - Linux

Avec un fichier deb (recommandé)

  • Télecharger le fichier deb de la dernière version sur :

https://code.visualstudio.com/download

  • Executer le fichier deb

    sudo dpkg -i code_*_amd64.deb
    

Avec le dépot snap

  • Installer le paquet du dépot snap :

    sudo snap install code --classic
    

Installation de mon thème personnalisé pour vscode - Linux

Avec le script d'installation

  • Cloner le repertoire Github :

    • Clone avec HTTPS

      git clone https://github.com/FloRobart/Themes_for_vsCode.git
      
    • Clone avec SSH

      git clone git@github.com:FloRobart/Themes_for_vsCode.git
      
  • Rendre le script executable :

    chmod +x installateur.sh
    
  • Executer la script :

    ./installateur.sh
    
  • Vous pouvez maintenant choisir le thème nommer 'GitHub Dark Perso' dans les paramètres de vscode

Manuellement

  • Assurez vous d'avoir installé l'extension Github thème qui à comme ID : > GitHub.github-vscode-theme
  • Cloner le repertoire Github :

    git clone https://github.com/FloRobart/Themes_for_vsCode.git
    
  • Copier le thème dans le répertoire des thèmes de vscode :

    cp "path/to/Themes_for_vsCode/Themes/dark-perso.json" "/home/$USER/.vscode/extensions/github.github-vscode-theme-<version>/themes/dark-perso.json"
    
  • Modifier le fichier package.json pour y ajouter le nouveau thème

    Ajouter le texte suivant comme dans l'exemple si dessous

    ,
    {
            "label": "GitHub Dark Perso",
            "uiTheme": "vs-dark",
            "path": "./themes/dark-perso.json"
    }
    
  • Exemple

    {
            ...
    
            "contributes": {
                    "themes": [
    
                            ...
    
                            {
                                    "label": "GitHub Dark",
                                    "uiTheme": "vs-dark",
                                    "path": "./themes/dark.json"
                            },
                            {
                                    "label": "GitHub Dark Perso",
                                    "uiTheme": "vs-dark",
                                    "path": "./themes/dark-perso.json"
                            }
                    ]
            },
    
            ...
    }
    
  • Vous pouvez maintenant choisir le thème nommer 'GitHub Dark Perso' dans les paramètres de vscode

Configuration de VS Code et des ses extensions

Paramètres de Visual Studio Code pour Docker avec node.js et typescript

Pour un confort de développement avec Visual Studio Code, vous pouvez télécharger le fichier de profil suivant : Node.js.code-profile puis l'importer dans les paramètres utilisateur de Visual Studio Code.

Ce profil contient les extensions et les paramètres pour le développement avec Docker, Node.js et TypeScript.

  • Header

    <div style="font-size: 9px; margin-left: 1cm;"><span class='title'></span> - Floris Robart</div>  <div style="font-size: 9px; margin-left: auto; margin-right: 1cm; ">%%ISO-DATE%%</div>
    
  • Footer

    <div style="font-size: 9px; margin-left: auto; margin-right: auto; margin-bottom: -8px;"> <span style="font-size: 9px" class='pageNumber'></span> / <span class='totalPages'></span></div>
    

Réparer l'erreur de JDK introuvable sur Visual Studio Code (vs code) - Linux

  • Éditer le fichier .bashrc :

    code /home/${USER}/.bashrc
    
  • Ajouter les lignes suivantes à la fin du fichier .bashrc :

    • Dans mon cas le chemin vers le JDK est /usr/lib/jvm/java-17-openjdk-amd64
    # Ajout de la variable JAVA_HOME pour vs code
    export JAVA_HOME='<path to jdk>'
    export PATH="${PATH}:${JAVA_HOME}/bin"
    
  • Mettre à jour le fichier .bashrc :

    source /home/${USER}/.bashrc
    
  • Fermer puis réouvrir vs code

  • Aller dans les paramètres de vs code
  • Rechercher "java runtime"
  • Vous devrier voir 'Java › Configuration: Runtimes'
  • Cliquer sur 'Modifier dans setting.json'

    "Image des paramètres de vs code"

  • Ajouter la valeur de java home dans le fichier settings.json comme montrer ci-dessous :

        ...
        "git.autofetch": true,
        "git.confirmSync": false,
        "workbench.colorTheme": "GitHub Dark Perso",
        "java.jdt.ls.java.home": "<add JAVA_HOME here>",
        "explorer.confirmDelete": false,
            "java.configuration.runtimes": [
                {
                    "name": "JavaSE-17",
                    "path": "<add JAVA_HOME here>",
                    "default": true
                }
            ],
            "diffEditor.ignoreTrimWhitespace": false,
            ...
    
    • Dans mon cas :

          ...
          "git.autofetch": true,
          "git.confirmSync": false,
          "workbench.colorTheme": "GitHub Dark Perso",
          "java.jdt.ls.java.home": "/usr/lib/jvm/java-17-openjdk-amd64",
          "explorer.confirmDelete": false,
              "java.configuration.runtimes": [
                  {
                      "name": "JavaSE-17",
                      "path": "/usr/lib/jvm/java-17-openjdk-amd64",
                      "default": true
                  }
              ],
              "diffEditor.ignoreTrimWhitespace": false,
              ...
      

Licence

Copyright (C) 2024 Floris Robart

Authors: Floris Robart

This program is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston MA 02110-1301, USA.