Ci sono diversi modi per disconnettersi da una sessione desktop di Ubuntu, ma la maggior parte sono così ovvi che non hanno bisogno di una guida che li spieghi!
Quello che potresti non sapere, tuttavia, è come uscire da Ubuntu da un terminale (o per disconnettersi da GNOME su qualsiasi distribuzione Linux che lo utilizza).
Diamine, non l'ho fatto fino a circa un minuto fa.
Per disconnettersi da un terminale, apri il Terminale app ed esegui questo comando:
gnome-session-quit
Dopo aver premuto invio, apparirà la finestra di dialogo di disconnessione (GUI standard), riempita con un conto alla rovescia di 30 secondi. Il timer ti dà il tempo di salvare qualsiasi lavoro non salvato, completare qualsiasi attività e uscire dalle app in modo pulito, per assicurarti di disconnetterti in modo sicuro dalla sessione utente di Ubuntu nel modo giusto.
Ma se hai fretta...
Per disconnettersi immediatamente da Ubuntu dalla riga di comando (cioè non appena premi invio) apri l'app Terminal ed esegui lo stesso comando, ma questa volta aggiungi il --no-prompt segnala fino alla fine, in questo modo:
gnome-session-quit --no-prompt
Non appena sollevi il dito dal enter chiave sarai forzatamente disconnesso. Senza se, senza ma e senza forse. Eventuali modifiche non salvate, app in esecuzione, comandi del terminale o altre attività attive lo saranno essere ucciso.
E verrai reindirizzato alla schermata di accesso di GDM.
Semplice, davvero!
Allora perché sto scrivendo un post a riguardo?
Bene, stavo costruendo alcuni componenti di sviluppo GNOME in modo da poter provare le cose (e fare alcuni screenshot) per un prossimo articolo. Una volta terminata la creazione, nessuno dei modi "ovvi" della GUI per disconnettersi da GNOME (ad esempio, il menu di stato, le scorciatoie dello schermo dell'applicazione, ecc.) avrebbe risposto.
E sì, ho provato a pazientare 😅.
Mi sono rivolto a Google per imparare "come disconnettersi da GNOME dal terminale". Ho pensato a qualche rich snippet per darmi una risposta immediata.
Non è stato così.
Invece, Google mi ha fornito collegamenti a guide di "disconnessione" (certamente utili) che illustrano (come sembrava) sedici modi diversi per svolgere la stessa attività, quando tutto ciò che volevo sapere era questo uno specifico.
Quindi, per aiutare chiunque si trovi in una situazione simile (anche se probabilmente solo me stesso tra 6 mesi quando me lo dimenticherò di nuovo) ho pensato di lanciare una guida rapida per mostrarti come disconnettersi da Ubuntu dalla riga di comando e , ehm, ecco fatto!
FIN.