Gedit + wtyczki - prosto i sprawnie (pis!)



Gedit to najpopularniejszy edytor należący do projektu Gnome. W zupełności wystarczający nie tylko do edycji czy tworzenia plików txt, ale też do pisania w php, css, czy python. Po co inne edytory? Kolorowanie składni jest, dodatkowe wtyczki zapewniające chociażby zapisanie sesji czy osadzony terminal - jest. Lekki, wygodny, funkcjonalny:


Instalacja:


sudo apt-get install gedit gedit-plugins






Co nam daje gedit-plugins? Zestaw wtyczek umożliwiających np.:
# statystyki dokumentu, liczba słów, lini etc
# wykonywanie zewnętrznych poleceń w osadzonym terminalu
# osadzona konsola pythona
# wstawianie często używanych fragmentów (słów)
# sortowanie dokumentu, lub zaznaczonego tekstu
# sprawdzanie pisowni
# zakładki, możemy wstawić do dokumentu tagi, zakładki itp.

Wszystkie wtyczki włączamy lub wyłączamy w Edycja --> Preferencje --> Wtyczki


blog comments powered by Disqus