Creare l’amministratore e un primo progetto
Apri http://localhost:8080/launchpad, crea il primo account amministratore ed effettua l’accesso. Poi segui 6. Attività post-installazione della guida per Linux, usando la porta8080 nei suoi URL di esempio.
Verificare la compilazione
Una pagina di accesso che si apre non dimostra che i container di compilazione separati e i loro mount dei dati funzionino. Crea un progetto vuoto e compila questomain.tex:
Verificare la persistenza
data/ del Toolkit sul tuo Mac.
Mantenere l’istanza disponibile
Mentre il Mac è in sospensione, macOS sospende la macchina virtuale di Docker Desktop con tutti i container al suo interno: nessuno può aprire l’istanza, e una compilazione in corso si interrompe finché il Mac non si riattiva. Conta solo la sospensione del sistema. Lo schermo può spegnersi. Se altre persone usano l’istanza, o lasci in esecuzione attività lunghe, tieni il Mac collegato alla corrente e impedisci la sospensione automatica; vedi Impostare le opzioni di stop e riattivazione del Mac:
Per tenere il Mac attivo solo per un certo tempo, esegui invece
caffeinate -i in una finestra del Terminale. Impedisce la sospensione per inattività finché non premi Ctrl+C o chiudi la finestra.
Docker Desktop è un’app nella tua sessione utente. Per riavere l’istanza dopo un riavvio, attiva Start Docker Desktop when you sign in to your computer in Settings → General di Docker Desktop. I container del Toolkit usano restart: always, quindi Docker li riavvia non appena Docker Desktop è in esecuzione, senza bin/up. Finché qualcuno non accede al Mac dopo un riavvio, l’istanza resta non disponibile.
Un Mac che resta attivo consuma più energia. Per un servizio che deve essere sempre raggiungibile, consigliamo un server Linux; vedi Linux.
Uso quotidiano
Apri Docker Desktop prima di gestire l’istanza. In un nuovo terminale:bin/start non applica le modifiche in config/: esegui bin/up -d dopo aver modificato la configurazione. Conserva config/ e data/, e segui Dati e backup prima di un aggiornamento o prima di spostare l’installazione. Copiare i file del database mentre MongoDB vi scrive non costituisce un backup coerente.
Mantieni l’istanza su 127.0.0.1 per l’uso locale. Per servire altri computer, imposta deliberatamente l’indirizzo di ascolto, l’URL del sito e HTTPS; vedi 5. Personalizzare la tua istanza della guida per Linux.
Se qualcosa non funziona, consulta Risoluzione dei problemi.
