Impostazioni

Le Impostazioni si aprono dalla topbar e raggruppano la configurazione dell’app in diverse schede.

Aspetto

• Palette di colori e tema (chiaro/scuro), che si applicano all’istante.
• Carattere (sistema o monospazio) e zoom dell’interfaccia.
• Lingua.
• Limite di righe di log a schermo (il file conserva tutto; il limite è solo ciò che si mantiene in memoria).
• Segui la coda dei log per impostazione predefinita all’avvio di uno scenario.
• Cronologia delle metriche della scheda Stato.
• Salvataggio automatico negli editor (mock, scenari, micro). Se disattivato, si salva con il pulsante Salva.
• Rail compatti (solo icone).

Percorsi

• Spazio di lavoro — la cartella con i repo dei micro.
• docker-compose — quello incluso con MicroLab (consigliato) o uno tuo.
• Porta del server di mock.
• Token per OpenAPI — inviato come Authorization: Bearer durante il download di documenti OpenAPI protetti (per esempio di DEV).

Credenziali

I segreti che referenzi come ${creds.chiave} in manifesti, dipendenze e database. Sono salvati fuori da Git (settings.local.yml). Vedi Lo spazio di lavoro e .microlab/.

Catalogo

Esportare o importare tutto il catalogo (micro, scenari e personalizzazione di avvio) in un unico file, per trasferirlo su un’altra macchina. Dalla CLI: microlab bundle export|import.

Scorciatoie

Il riferimento delle scorciatoie da tastiera, disponibile anche in qualsiasi momento con il tasto ?.

Privacy

Lo stato della telemetria di diagnostica (opt-out) e il modulo per segnalare un problema al team. I log dei tuoi micro e i dati di business non vengono mai inviati.

Informazioni

La versione installata e il controllo degli aggiornamenti (MicroLab li controlla anche all’avvio). Vedi Installare.

Connessioni Git

Collegare account (GitHub, GitLab o altro) affinché MicroLab possa aggiornare i repo dei micro. L’accesso è di sola lettura (fetch e cambio ramo; mai push). Si usa per importare un micro da Git e per cambiare ramo.