È possibile rimuovere il terminale predefinito e sostituirlo con qualche altro terminale (come terminatore o terminologia)?

12

Alcuni terminali non predefiniti hanno funzionalità extra come la divisione della finestra ecc. Possiamo sempre usare quei terminali senza disinstallare quello originale ma c'è un modo per rimuovere quello originale?

EDIT-Alcuni commenti dicono che non è consigliabile rimuovere il Terminale gnome. Quali possono essere le ripercussioni?

gnome-terminal terminator terminology

— Gibreel Abdullah
fonte

1

perché vuoi rimuovere quello originale? conserva l'originale e installa ciò che desideri.

— αғsнιη,

@KasiyA Non voglio sprecare spazio su disco per cose che non potrei mai usare.

— Gibreel Abdullah,

20

Non lo rimuoverei. Dato che è l'emulatore di terminale predefinito per l'ambiente desktop Unity / Gnome, potrebbero esserci alcuni programmi / script oscuri che lo usano incondizionatamente e si verificherà un errore (probabilmente tra due anni da quando non ricordavi cosa può aver causato esso).

Il modo preferito è:

Installare il nuovo emulatore di terminale, ad esempio
```
sudo apt-get install terminator
```

Imposta il update-alternativemetodo per sceglierlo:

[romano:~/tmp] % sudo update-alternatives --config x-terminal-emulator
There are 8 choices for the alternative x-terminal-emulator (providing /usr/bin/x-terminal-emulator).

  Selection    Path                             Priority   Status
------------------------------------------------------------
* 0            /usr/bin/terminator               50        auto mode
  1            /usr/bin/gnome-terminal.wrapper   40        manual mode
  2            /usr/bin/koi8rxterm               20        manual mode
  3            /usr/bin/lxterm                   30        manual mode
  4            /usr/bin/rxvt-xpm                 8         manual mode
  5            /usr/bin/rxvt-xterm               10        manual mode
  6            /usr/bin/terminator               50        manual mode
  7            /usr/bin/uxterm                   20        manual mode
  8            /usr/bin/xterm                    20        manual mode

Press enter to keep the current choice[*], or type selection number:

...E questo dovrebbe essere tutto. Se hai problemi, puoi guardare qui: Come posso impostare il terminale predefinito usato in Unity?

Si noti tuttavia che esiste un bug / malfunzionamento della libreria sottostante che fa sì che tutte le cose che usano "apri nel terminale" non rispettino la selezione sopra. Il bug è stato segnalato e riconosciuto nel 2010, è disponibile una patch, ma è ancora qui. Non trattengo il respiro per una correzione.

Una soluzione a livello di sistema potrebbe essere quella di rimuovere il file gnome-terminalbinario e sostituirlo con un collegamento a x-terminal-emulator--- dovrebbe funzionare la maggior parte del tempo ...

In alternativa, si avete nella vostra PATHla $HOME/bindirectory prima /usr/bin (come ognuno di noi ha, suppongo) si può semplicemente ln -s /usr/bin/terminator $HOME/bin/(nessun privilegio richiesto) e loquace sarà lieto di utilizzare il link al posto del reale gnome-terminal.

— Rmano
fonte

1

Probabilmente è meglio non rimuovere (come nella disinstallazione) il terminale predefinito (Gnome);

probabilmente è meglio installare la nuova applicazione dell'emulatore di terminale, quindi modificare le preferenze in Unity per impostare quella nuova come predefinita.

Da qui , qui e qui e la mia esperienza

sudo update-alternatives --config x-terminal-emulator

sembra funzionare per impostare l'applicazione di emulazione terminale predefinita in Unity e in Lubuntu.

— WillC
fonte

Suggerimento: espandi il secondo paragrafo includendo uno screenshot, per spiegare come viene fatto "cambia le preferenze in Unity" tramite la GUI. Finora non ho ancora visto una risposta simile.

— Clearkimura,

0

Sì, ci sono alcuni metodi per rimuovere il terminale. È possibile utilizzare il Software Center, cercare Terminal, quindi disinstallarlo.

In alternativa, è possibile utilizzare un'applicazione terminale (come Guake o Terminator, ad esempio) per rimuovere l'originale con questo comando:

sudo apt-get remove gnome-terminal

Semplice come quella!

Spero che sia di aiuto.

— mstfacmly
fonte

2

Non lo farei davvero. gnome-terminalè il terminale predefinito per Unity e Gnome e dovrebbe essere lì. Ti morderà qualche volta in modi inaspettati. Basta aggiungere gli altri terminali e utilizzare il update-alternativesmetodo per selezionare quello desiderato per impostazione predefinita.

— Rmano,

@Rmano puoi spiegare il update-alternativesmetodo? Scusa se sono ingenuo, sono un principiante.

— Gibreel Abdullah,

Quando avevo (accidentalmente) rotto l'unità, ho rimosso gnome-terminal tra molte altre cose, e in qualche modo è passato automaticamente a sakura, anche il ctrl + alt + T. Sicuramente non l'avrei rimosso solo per motivi di sperimentazione ma la mia esperienza suggerisce che dovrebbe essere abbastanza sicuro per il sistema e dovrebbe automaticamente passare al prossimo terminale disponibile

— Sergiy Kolodyazhnyy,