Nowe posty

xx Bezpieczne usunięcie ubuntu 18.10 (2)
Dzisiaj o 05:48:13
xx GMail w KDE (20)
Wczoraj o 13:49:48
xx Zmiana Nazwy użytkownika (1)
2018-10-18, 23:39:05
xx Dostęp zewnętrzny do sprzętu. (4)
2018-10-18, 22:29:25
xx Modem komórkowy z GPS - komendy AT (5)
2018-10-17, 17:58:39
xx Jak pobierać dodatki do kde? (6)
2018-10-17, 14:06:19
xx [ROZWIĄZANY] LO Writer - jak rozsunąć tekst do lewa i prawa w jednym wierszu (4)
2018-10-17, 11:57:05
xx skrypty wykonywane w crontab-ie [SElinux] (2)
2018-10-17, 10:33:12
xx Jak zmienić domyślny emulator terminala ? (4)
2018-10-14, 20:51:52
xx Javascript pasjans (1)
2018-10-14, 13:10:22

Autor Wątek: Jak zmienić domyślny emulator terminala ?  (Przeczytany 322 razy)

Offline mackeire

  • Users
  • Stały bywalec
  • ***
  • Wiadomości: 106
    • Zobacz profil
Jak zmienić domyślny emulator terminala ?
« dnia: 2018-10-08, 14:43:06 »
Ubu 18.10 Gnome 3.30

Zainstalowałem Tilix, usunąłem gnome-terminal i ikona Midnight Commander nic mi nie otwiera jak na nią klikam. To samo z ręcznie utworzonymi ikonkami dla programów terminalowych np wavemon.

Podejrzewam ,że gdzieś w systemie gnome-terminal jest ustawiony jako domyślny chociaż go nie ma. Sugerowany w internetach :
$ sudo update-alternatives --config x-terminal-emulator 
nie działa
Co robić ? Jak żyć ? I dlaczego im dłużej korzystam z Ubu tym bardziej przypomina mi on window$a ?


Z kolei dconf mówi : PRZESTARZAŁE, ten klucz jest przestarzały i ignorowany . Domyślny terminal jest obsługiwany przez bibliotekę GIO.




« Ostatnia zmiana: 2018-10-08, 16:03:27 wysłana przez mackeire »

Offline marcin'82

  • Users
  • Stały bywalec
  • ***
  • Wiadomości: 233
    • Zobacz profil
Odp: Jak zmienić domyślny emulator terminala ?
« Odpowiedź #1 dnia: 2018-10-08, 17:17:30 »
Spróbuj:
# dpkg-reconfigure tilix

W źródłach pakietu w skrypcie postinstall jest instalacja tego emulatora jako alternatywy.

W ustawieniach środowiska graficznego masz gdzieś domyślne programy? To jest Gnome czy coś innego?
marcin82

Offline mackeire

  • Users
  • Stały bywalec
  • ***
  • Wiadomości: 106
    • Zobacz profil
Odp: Jak zmienić domyślny emulator terminala ?
« Odpowiedź #2 dnia: 2018-10-09, 00:37:53 »
reconfigure też nie pomaga

Jasne ,że to Gnome, w KDE bym to przestawił dwoma kliknięciami myszki ...

Offline 1709

  • Users
  • Guru
  • *****
  • Wiadomości: 2007
  • 1709
    • Zobacz profil
Odp: Jak zmienić domyślny emulator terminala ?
« Odpowiedź #3 dnia: 2018-10-09, 11:28:02 »
Moge cos napisac o Ubuntu ?
Ubuntu nie jest stworzone by go konfigurowac, wrecz jest tworzone zebys nie mogl konfigurowac i nie popsuc systemu.
Ja bym proponowal wrocic do tego co bylo.
A jesli chcesz przetestowac to utworz kliknieciami skrot  gdzies gdzie bedziesz mogl podejrzec skrot
np.
$ ls 
uplos-drakconf.desktop*

$ cat uplos-drakconf.desktop*
#!/usr/bin/env xdg-open
[Desktop Entry]
Name=Configure Your Computer
...
Name[pl]=Konfiguracja komputera
Exec=/usr/bin/drakconf
Comment=Administration Center
...
Comment[pl]=Centrum sterowania UPLOS
Icon=drakconf.png
Terminal=false
Type=Application
StartupNotify=true
Categories=GTK;X-MandrivaLinux-System-Configuration;Settings;
I po tym widze ze  u mnie jest uzyta komenda "/usr/bin/drakconf " ,
u Ciebie moze byc uzyta dodatkowo nazwa terminala ktory usuneles i dlatego moze Ci nie dzialac.
Ale pewnosci nie mam.

Edytowane

Moze tez to wynikac ze przypisanej zmiennej srodowiskowej ktora moze wykorzystywac ikona
https://help.ubuntu.com/community/EnvironmentVariables
Np u mnie jak sprawdzam przykladowe zmienne
$ echo $TERM
xterm

Edytowane
Mozesz takze sprobowac utworzyc wlasny skrot i zobaczyc czy dziala.


Edytowane
Sprawdzilem zmienne systemowe 
set | less
i plik ~/.config/mc/ini
i widze tylko COLORTERM I TERM ktorych zmiana u mnie nic nie daje.
Chyba najlepiej spytac developera skad mc wie jakiego terminala uzyc, no chyba ze ktos wie i napisze.
« Ostatnia zmiana: 2018-10-09, 13:57:23 wysłana przez 1709 »
Pochwal się swoją kartą graficzną w tym wątku-->
http://forum.linux.pl/index.php/topic,19841.msg121122.html#msg121122

Offline Miro57

  • Users
  • Stały bywalec
  • ***
  • Wiadomości: 166
    • Zobacz profil
Odp: Jak zmienić domyślny emulator terminala ?
« Odpowiedź #4 dnia: 2018-10-14, 20:51:52 »
Usunięty przez Ciebie terminal prawdopodobnie był uruchamiany poleceniem /usr/bin/gnome-terminal.
Możesz spróbować utworzyć dowiązanie do twojego nowego terminala o takiej nazwie jak odinstalowany terminal:
https://askubuntu.com/questions/749832/how-to-change-default-terminal-application-in-gnome-shell