Show Menu
SUJETS×

Création d’un gestionnaire de profils

Le Gestionnaire de profils affiche tous les répertoires associés à votre profil de travail.
Vous pouvez accéder à un sous-répertoire du Profile Manager sans avoir à parcourir l’intégralité de sa structure de répertoires. Par exemple, les options Metrics et Workspaces de menu disponibles dans le Manage menu de la fenêtre de l’espace de travail vous permettent d’ouvrir respectivement les dossiers Mesures du Gestionnaire de profils et Espaces de travail.
Pour plus d’informations sur le Profile Manager, voir Le Gestionnaire de profils.
Par défaut, vous avez accès aux gestionnaires suivants :
  • Metrics Manager: ​Affiche le contenu du dossier Mesures du Gestionnaire de profils. Vous pouvez ouvrir, modifier, supprimer ou copier les mesures définies dans chaque profil.
  • Reports Manager: ​Affiche le contenu du dossier Rapports du Gestionnaire de profils. Vous pouvez ouvrir, modifier, supprimer ou copier des espaces de travail ou desreport.cfgfichiers de rapport.
  • Workspaces Manager: ​Affiche le contenu du dossier des espaces de travail du gestionnaire de profils. Tous les fichiers permettant de configurer les ongletsWorktopsont situés ici. Voir Personnalisation des onglets de Worktop.
Les outils de données vous permettent de créer d’autres gestionnaires de profil qui affichent un sous-répertoire à partir du Profile Manager. Chaque gestionnaire que vous créez doit disposer d’un .vw fichier qui spécifie le Profile Manager répertoire dont il affiche le contenu et les propriétés de cette fenêtre. Vous pouvez utiliser le .vw fichier pour n’importe quel gestionnaire fourni comme modèle.
Pour créer un gestionnaire de profils
  1. Dans Profile Manager, cliquez sur le Menu répertoire pour afficher son contenu.
  2. Dans le répertoire Menu, cliquez sur le Admin répertoire, puis sur le Profile répertoire. Les .vw dossiers des gestionnaires existants sont disponibles ici.
  3. Dans la colonne Nom du profil, cliquez avec le bouton droit de la souris sur la coche correspondant à l’un des .vw fichiers (par exemple, Workspaces.vw), puis cliquez sur Make Local .
    Une coche du fichier apparaît dans la User colonne.
  4. Cliquez avec le bouton droit de la souris sur la coche du .vw fichier dans la User colonne et cliquez sur Open > in Notepad .
  5. Dans le Profile Path champ, saisissez le Profile Manager répertoire pour lequel vous souhaitez créer un nouveau gestionnaire. Veillez à inclure la barre oblique (/) après le nom du répertoire.
    window = simpleBorderWindow:
    client = scrollWindow: 
    client = fileManager:
      Profile Path = string: directory name/
      size = v3d: (820, 5649, 0)
      scroll_offset = v3d: (0, 0, 0)
      size = v3d: (830, 881, 0)
      pos = v3d: (525, 162, 0)
      size = v3d: (830, 900, 0)
    
    
  6. Dans le Bloc-notes, cliquez sur File > Save As pour enregistrer le fichier modifié dans le dossier d’installation des outils de données \User*nom du profil de travail*\Menu\Admin\Profile Management.
    Veillez à modifier le nom du .vw fichier afin qu’il reflète le répertoire Profile Manager auquel il correspond.
  7. (Facultatif) Pour rendre les modifications accessibles à tous les utilisateurs du profil de travail, cliquez avec le bouton droit de la souris sur la coche du .vw fichier dans la User colonne, puis cliquez sur Save to > < working profile name >.