Don't link here
Posted on 9 February 2007 by smyru
Zżymałem się tu onegdaj na uciążliwe zachowanie GNOME Terminala przy próbie zmiany nazwy zakładki. Hmm, najwyraźniej takie zarwane poranki mają jakiś katarstyczny i oświecający charakter, bo wpadłem na banalny pomysł poradzenia sobie z tymi niedogodnościami.
Wystarczyło przeszukać listę dostępnych w GNOME Terminalu skrótów. Co ciekawe jest tam możliwość zdefiniowania skrótu do zmiany nazwy terminala, ale co jeszcze bardziej ciekawe skrót ten domyślnie jest niezdefiniowany. Hmm, no cóż, widocznie użytkownicy go nie potrzebują…
Pozostała kwestia zdefiniowania własciwej kombinacji klawiszy, która nie przechwytywałaby jakiegoś konsolowego skrótu aplikacyjnego. Ostatecznie po upewnieniu się, że np. Alt+T nie działa, stanęło na F2, które per analogiam będzie zmieniać nazwę także w terminalu.
To oczywiście jedynie workaround i podtrzymuję moje wcześniejsze argumenty.
FreeBSD, GNOME, Internet, Język, Komputery, Kuchnia, Linux, Płock, Rowery, Ta meta, Warszawa, Wrocław, X, Życie