s3kvir pascon

Po odinstalowaniu, dotychczas najlepszego programu pod Linuksa do przeglądania plików PDF, Acrobat Readera, pozostały mi po nim śmieci, typu wpisy w MIME i plikach .desktop. Reader zamieniony został na Evince, który poprzez swoją lekkość zupełnie nieźle się sprawdza. Jednak pozostał konflikt przy otwieraniu plików PDF - GNOME widział je jako “Dokument PDF”, a rozszerzenie wskazywało na “dokument pdf”. Co istotne, to nie chodzi tu bynajmniej o wielkość liter, tylko błędne wygenerowanie typu MIME. Należało temu jakoś zaradzić.

Po pierwsze trzeba było znaleźć miejsca, w których GNOME przetrzymuje informacje o plikach MIME. Główną lokalizacją w systemie jest /usr/share/mime/, nad którym spędziłem sporo czasu dochodząc jak to wszystko działa. Z wielką pomocą przyszedł mi Podręcznik Administratora Gnome i jego rozdział o Obsłudze MIME w GNOME.

Ważniejsze jednak, z punktu widzenia użytkownika, jest miejsce ~/.local/share/mime/, które nadpisuje standardowe ustawienia środowiska GNOME. Tu należało szukać winowajcy. Ale za nim go znalazłem..

Należało ustalić techniczną przyczynę błędu. Korzystając z polecenia
$ gnomevfs-mime plik.pdf
wyczytałem, jak GNOME widzi mój dokument PDF:

Name              : plik.pdf
Type              : Regular
MIME type         : application/x-extension-pdf
Default app       : AdobeReader-usercustom.desktop

Oto winowajca! Prawidło powinno być:

Name              : plik.pdf
Type              : Regular
MIME type         : application/pdf
Default app       : evince.desktop

Przeszukując katalog lokalny ~/.local/share/mime znalazłem x-extension-pdf.xml, który z miejsca usunąłem. Ale to nie koniec zabawy - trzeba było znaleźć jeszcze wpis .desktop, który wskazywał na domyślną aplikacją dla PDF. W ~/.local/share/applications znalazłem AdobeReader-usercustom.desktop, który również poszedł do /dev/null.

Winowajcy usunięci, więc należy poinformować o tym GNOME. Używając polecenia
$ update-mime-database ~/.local/share/mime
przebudujemy lokalny cache MIME. Natomiast
$ update-desktop-database
zrobi to samo z wpisami .desktop.

Wszystko wróciło do normy, czyli stanu, jaki powinien być od początku. A u Ciebie?

Piotr na swoim blogu publikuje informację jak przejść ciekawą w ostatnich czasach, zabawę internetową Gwigle. Szczerze powiedziawszy, doszedłem jedynie do etapu 1.e - finanse mnie zabiły Piotrowi natomias gratuluję, bo wiedzę ma na temat Google ogromną, tworząc chociażby agregaror informacji na jej temat

Przeglądając Google Labs natrafiłem na kreatora stron internetowych, którego postanowiłem dzisiaj po krótce przedstawić.

Po zalogowaniu do usługi, naszym oczom ukazuje się AJAX’owy edytor pół-wysiwyg, za pomocą którego bardzo łatwo dodamy typowe dla strony domowej elementy jak nagłówek, tekst właściwy oraz stopka. Wprowadzany tekst mamy możliwość formatować wg uznania, pogrubiając, pochylając, zmieniając wielkość i krój czcionki, a także ułożenie tekstu w paragrafie. Wstawiania nagłówków nigdy nie było tak proste i muszę przyznać, że propagowanie ich przez google jest bardzo dobrym pomysłem. Jest możliwość wstawiania łączy, jak linki do stron, adresy email, odnośniki do plików (poprzednio wysyłając je na serwer) oraz kolejnych podstron tworzonych w serwicie Google. Równie łatwo umieszcza się obrazki i zdjęcia. Wszystko klikalne, by było szybciej, łatwiej i przyjemniej.

Ale co nam po stronie, która graficznie prezentuje się marnie? Na to Google Labs też znalazła odpowiedź, projektując kilkanaście tematów i układów graficznych. Zmiana jest tak prosta jak naciśnięcie przycisku w myszce.

Pomyślano również o bardziej zaawansowanych użytkownikach internetu, dając im do dyspozycji możliwość ręcznego zmieniania kodu HTML. Lubiącym dłubać w kodzie strony, opcja ta przypadnie napewno do gustu.

Ważą funkcjonalnościa tego edytora jest automatyczne zapisywanie zmian co parę sekund (notabene, większość aplikacji Google posiada ją zaimplementowaną), dlatego strach przed utratą danych przy padzie łącza już nam nie grozi.

Po stworzeniu naszej strony głównej do dyspozycji dostajemy przyjazny menadżer zarządzania stronami oraz plikami wysłanymi na serwer. Strony można w prosty sposób dodawać, duplikować, usuwać oraz tworzyć wersje robocze. Na tą całą zabawę dostajemy 100MB miejsca wolnego.

Wynik mojej kilkuminutowej zabawy z tym kreatorem znadziecie w poddomenie google.