Dock a scomparsa non riappare

[manona]

Ho Ubuntu 18.10.

In impostazioni->Dock ho attivato scelta di nascondere automaticamente la Dock e l'ho messa in basso.

Non riappare più. Ho dovuto riemetter la scelta in off.

In giro ci sono maree di suggerimenti ma per versioni di U buntu passate.

Qualche suggerimento?

[caturen]

che desktop usi? di che dock si tratta?

[manona]

Ho ripreso ora dopo tanto tempo Ubuntu e non ti saprei dire quale desktop uso. Ho installato 18.10 e qualche software di utilità ma nient'altro.

Leggendo quali tipi di desktop ci sono penso che sia ubuntu-desktop perchè non ho fatto nulla su Gnome.

C'e' qualche comando che espliciti in quali ambienti si sta lavorando?

Per quanto riguarda la Dock è la barra laterale dove ci sono i preferiti. E' gestita in Impostazioni->Dock. E' questo che chiedevi?

Ulteriore risposta >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>

con il comando ls /etc/init.d | grep dm risponde Gdm3 e quindi penso Gnome3

e ancora... >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>

Il mio problema è che sul mio PC ho Windows ed Ubuntu che a me piace molto ma devo tenere WIndows perchè ci sono dei giochi di EA (Origin) che non vanno in ambiente Linux (almeno penso) e che ora proverò a far andare con Wine.

Aiuto anche mio fratello che ha un uso semplice del PC (Internet, Office , Posta) e che vorrei convincere a passare ad Ubuntu ma gli devo creare un ambiente simile o meglio uguale a Windows (ma sono sulla buona strada... devo migliorare il desktop ma mi sembra che KDE o MATE siano molto simili). Se provo ad installare uno di questi poi posso eventualmente ritornare indietro su Gnome3?

[Jure Linux]

- per la dock: guarda se hai qualche finestra aperta in zona dock, c'è un'impostazione (opzione) che la nasconde se lo spazio per aprirla è occupato.
- per il fratellino: installa un double-boot per lui, e ti tieni gnome3 per te.

[TuxInside18]

Ho ripreso ora dopo tanto tempo Ubuntu e non ti saprei dire quale desktop uso. Ho installato 18.10 e qualche software di utilità ma nient'altro.

Leggendo quali tipi di desktop ci sono penso che sia ubuntu-desktop perchè non ho fatto nulla su Gnome.

C'e' qualche comando che espliciti in quali ambienti si sta lavorando?

Per quanto riguarda la Dock è la barra laterale dove ci sono i preferiti. E' gestita in Impostazioni->Dock. E' questo che chiedevi?

Ulteriore risposta >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>

con il comando ls /etc/init.d | grep dm risponde Gdm3 e quindi penso Gnome3

e ancora... >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>

Il mio problema è che sul mio PC ho Windows ed Ubuntu che a me piace molto ma devo tenere WIndows perchè ci sono dei giochi di EA (Origin) che non vanno in ambiente Linux (almeno penso) e che ora proverò a far andare con Wine.

Aiuto anche mio fratello che ha un uso semplice del PC (Internet, Office , Posta) e che vorrei convincere a passare ad Ubuntu ma gli devo creare un ambiente simile o meglio uguale a Windows (ma sono sulla buona strada... devo migliorare il desktop ma mi sembra che KDE o MATE siano molto simili). Se provo ad installare uno di questi poi posso eventualmente ritornare indietro su Gnome3?

Guarda, io ho personalizzato il mio desktop GNOME rendendo tale e quale a Windows 10 (pure se come OS lo odio), se vuoi posso darti una mano. Riguardo la dock a scomparsa, se usi GNOME (lo puoi vedere su Impostazioni\Dettagli), vai su impostazioni\dock e spunta "nascondere automaticamente la dock". Ora vedi se va bene. Ciao un bacione, tienimi informato!