Aller au contenu

Paramètres

Les Paramètres s’ouvrent depuis la topbar et groupent la configuration de l’app en plusieurs onglets.

  • Palette de couleurs et thème (clair/sombre), qui s’appliquent instantanément.
  • Police (système ou monospace) et zoom de l’interface.
  • Langue.
  • Limite de lignes de log à l’écran (le fichier garde tout ; la limite n’est que ce qui est gardé en mémoire).
  • Suivre la fin des logs par défaut au lancement d’un scénario.
  • Historique des métriques de l’onglet État.
  • Enregistrement automatique dans les éditeurs (mocks, scénarios, micros). Si désactivé, on enregistre avec le bouton Enregistrer.
  • Rails compacts (icônes seules).
  • Espace de travail — le dossier avec les dépôts des micros.
  • docker-compose — celui fourni avec MicroLab (recommandé) ou le vôtre.
  • Port du serveur de mocks.
  • Jeton pour OpenAPI — envoyé comme Authorization: Bearer lors du téléchargement de documents OpenAPI protégés (par exemple de DEV).

Les secrets que vous référencez comme ${creds.clé} dans les manifestes, dépendances et bases de données. Ils sont enregistrés hors de Git (settings.local.yml). Voir L’espace de travail et .microlab/.

Exporter ou importer tout le catalogue (micros, scénarios et personnalisation de démarrage) dans un seul fichier, pour le transférer vers une autre machine. Depuis le CLI : microlab bundle export|import.

La référence des raccourcis clavier, également disponible à tout moment avec la touche ?.

L’état de la télémétrie de diagnostic (opt-out) et le formulaire pour signaler un problème à l’équipe. Les logs de vos micros et les données métier ne sont jamais envoyés.

La version installée et la vérification des mises à jour (MicroLab les vérifie aussi au démarrage). Voir Installer.

Lier des comptes (GitHub, GitLab ou autre) pour que MicroLab puisse mettre à jour les dépôts des micros. L’accès est en lecture seule (fetch et changement de branche ; jamais push). Il est utilisé pour importer un micro depuis Git et pour changer de branche.