Instalacja Gummi w Debianie
Gummi to dość dobry program do pisania w TeX-u.
Nie ma go niestety w repozytoriach Debiana. Zatem jak się uporać z kompilacją?
Najpierw instalujemy parę pakietów:
sudo aptitude install intltool libgtksourceview2.0-dev libgtkspell-dev libpoppler-glib-dev
Teraz pobieramy paczkę ze źródłami z http://gummi.midnightcoding.org/?page_id=6 i rozpakowujemy.
Przechodzimy tam w terminalu i wykonujemy 3 komendy:
./configure
make
sudo make install
Po chwili w menu Programy -> Biuro pojawi się wpis “Gummi”, którym można uruchomić program.
(Oczywiście musimy mieć też zainstalowane pakiety do TeX-a.)


ppa nie hulają w debianie?
Dzięki Tobie zebrałem się w sobie, poszukałem chwilę i znalazłem, że działają. Choć oczywiście nie są do niego przeznaczone, to w większości działają.
http://www.khattam.info/howto-add-launchpad-ubuntu-ppa-in-debian-squeeze-testing-2010-11-13.html