Nowe posty

xx Zlecę skrypt w bashu (0)
Wczoraj o 14:07:39
xx Nadawanie praw katalogom takich, jak nazwa usera (4)
2020-02-17, 14:15:18
xx Fedora na laptopie HP 15-bs152nw brak wifi (44)
2020-02-16, 12:17:18
xx Komputer do nauki linuxa (10)
2020-02-15, 07:03:28
xx Patronat serwisow internetowych. (1)
2020-02-13, 00:13:24
xx Xfce-terminal v 0.8.7.4 - jak ustawić wklejanie skopiowanego tekstu? (3)
2020-02-12, 18:59:24
xx HD ISO, jak odzyskać starsze pliki (6)
2020-02-12, 10:54:31
xx QEMU KVM gpu passthrough brak obrazu (4)
2020-02-11, 17:05:06
xx i7-9700 + Intel H370 (0)
2020-02-11, 12:36:55
xx Co to jest .xsession-errors.old ? (1)
2020-02-09, 22:55:09

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

Offline mackeire

  • Users
  • Prawie jak Guru
  • ****
  • Wiadomości: 283
    • 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
  • Prawie jak Guru
  • ****
  • Wiadomości: 315
    • 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
  • Prawie jak Guru
  • ****
  • Wiadomości: 283
    • 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: 2353
  • 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 »
PS: Brak polskiej czcionki, nie jest to brak lenistwa, a jej brak w systemie i brak czasu na reczne poprawki.

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