$ find .mozilla/firefox -type f -name "*.sqlite" -exec time sqlite3 \{\} "VACUUM" ";"
Архив рубрики «firefox»
firefox: оптимизация внутренних баз данных sqlite
26.08.2009установка adobe flash player 10 на ubuntu
28.11.2008Если установлена предыдущая версия Flash Player из комплекта Ubuntu, сносим её:
$ sudo apt-get remove flashplugin-nonfree
Со страницы http://get.adobe.com/flashplayer/ скачиваем пакет со свежим плеером в формате .deb для ubuntu.
И, собственно, ставим:
$ sudo apt-get install install_flash_player_10_linux.deb
Firefox + linux: идеальные шрифты
21.09.2008Идеальные шрифты для Firefox под *nix на данный момент это семейство Bitstream Vera *
:
- Bitstream Vera Sans (без засечек, типа Arial/Verdana)
- Bitstream Vera Serif (с засечками, типа Times)
- Bitstream Vera Sans Mono (моноширинный)
В Firefox это живет в меню Правка -> Настройки -> Содержимое -> Шрифты и цвета:
Некоторые сайты, однако, жестко предписывают отображение текстов шрифтом Times:
BODY{font-family: Times, serif;}
Результат может выглядеть примерно так:
Это произошло из-за того, что настройки fontconfig
по-умолчанию заменяют кривой системный Times
на некий более удобный для восприятия шрифт.
Используя утилиту fc-match
из набора fontconfig
убеждаемся, что Times
у нас в системе заменяется на "Nimbus Roman No9 L"
:
~$ fc-match times n021003l.pfb: "Nimbus Roman No9 L" "Regular"
Выкорчевываем корень зла:
~$ sudo rm /etc/fonts/conf.d/30-urw-aliases.conf ~$ sudo rm /etc/fonts/conf.d/30-metric-aliases.conf
(Если захочется восстановить статус кво, можно взять 30-urw-aliases.conf
и 30-metric-aliases.conf
из /etc/fonts/conf.avail
)
Теперь настроим fontconfig
так, чтобы при попытке отобразить шрифт Times
автоматически выбирался Times New Roman
(очевидно, именно он имелся в виду создателями). Для в своей домашней директории создаем файл ~/.fonts.conf
с примерно таким содержимым:
<fontconfig> <match target="pattern"> <test qual="any" name="family"> <string>Times</string> </test> <edit name="family" mode="assign"> <string>Times New Roman</string> </edit> </match> </fontconfig>
Сам шрифт Times New Roman следует установить в составе пакета шрифтов от MS.
Смотрим на результат:
~$ fc-match times Times_New_Roman.ttf: "Times New Roman" "Normal"
Готово.
Виндовые шрифты в Ubuntu
07.09.2008Установка TTF windows проста до неприличия:
~$ sudo apt-get install msttcorefonts