Articles

Appliquer une extensions à tous les profils utilisateur sur VS Code

Cet article fait partie d’une série d’articles consacrés aux profils utilisateurs de VS Code.

Principe

Parfois, une extension peut être tellement pratique qu’elle en devient indispensable. Dans ce cas, il existe une fonctionnalité qui vous permet facilement de la rendre disponible à tous les profils utilisateur de VS Code, actuels et futurs.

Démonstration

Tout se fait très rapidement : la manipulation ne vous prendra que quelques secondes !

  1. Ouvrir l’activité Extensions
  2. Ouvrir la vue Installé
  3. Ouvrir le menu contextuel de gestion de l’extension
  4. Activer l’option Appliquer l’extension à tous les profils.

Après quoi, il me suffit de changer de profil (repasser sur celui par défaut, par exemple). La vue Installé se met à jour et indique bien que l’extension y est également installée.

Remarques

  • La gestion d’une extension appliquée à tous les profils se fait également au niveau collectif.
  • Lorsque vous décochez l’option Appliquer l’extension à tous les profils pour une extension, il se passe trois choses :
    • l’extension cesse d’être appliquée automatiquement aux nouveaux profils.
    • L’extension reste installée sur tous les profils existants.
    • la gestion de l’extension redevient propre à chaque profil.

/par
Les profils utilisateurs de VS Code

Visual Studio Code, c’est une adaptabilité géniale, notamment via ses extensions. Mais comme pour tous les IDEs, la gestion des paramètres qui permettent cette adaptabilité peut vite devenir compliquée.

C’est pourquoi nous entamons aujourd’hui une courte série d’articles consacrés à la notion de profil utilisateur, introduite par Microsoft pour nous simplifier la vie.

Principe

Les profils utilisateurs sont des regroupements de paramètres et d’extensions, entre lesquels vous pouvez basculer en deux clics (littéralement), une fois ceux-ci créés.
Si on devait donner une dénomination purement technique, on parlerait de profils de configurations.

Gestionnaire de profils

Pour ouvrir le gestionnaire de profils, cliquez sur la roue crantée en bas de la barre d’activités, survolez l’option Profil du menu contextuel, puis cliquez sur Profils dans le menu contextuel de second niveau.

Le gestionnaire de profils s’affiche et à partir de là, il suffit de nommer votre nouveau profil puis de cliquer sur le bouton Créer en bas de page. La configuration appliquée par défaut reprend celle du profil initial fourni par VS Code et vous fournit une base saine suffisante dans la grande majorité des cas.

Maintenant que le nouveau profil est créé, il est disponible dans le menu contextuel de sélection des profils utilisateurs. Cliquez dessus pour l’appliquer ; l’aspect de la roue crantée sera modifié pour vous indiquer quel profil est actuellement utilisé.

A partir de là, une installation d’extension, modification de paramètre… se fera au niveau du profil utilisé, sans venir influer sur les autres. Vous pouvez maintenant facilement basculer d’un usage de VS Code à un autre !

Conseils d’usage et remarques

  • Un profil utilisateur = un type d’usage de VS Code
  • Microsoft fournit des modèles de profils sur lesquels se baser à la création d’un nouveau profil (section Copier à partir de dans le gestionnaire de profils)
  • Il est possible d’étendre l’usage d’une extension à tous les profils
  • Il est possible d’exporter et d’importer des profils utilisateurs via le gestionnaire de profils

/par