Opera segmentation fault

Обновил сегодня world, и Opera перестала работать. Оказалось, что дело в новой libX11. Opera Desktop Team operaтивно выпустили hotfix :)

Блокировка рекламы в Opera

Большой список адресов для фильтрации в различных форматах (adblock, squid, hosts, ipchains, iptables и др.) можно найти на http://pgl.yoyo.org/adservers/
Чтобы его добавить в Opera, выбираем в “list ad server hostnames” “opera url filter — in opera url filter ini file format” и жмём “go”. Для ленивых ссылка :) Теперь остаётся только сохранить содержимое в ~/.opera/urlfilter.ini.

Файл довольно большой, поэтому Opera начинает очень долго стартовать. Лично я пользуюсь небольшим (~40kb) списком, где фильтрация в основном по маске.

Вышла Opera 9.10

Вышла очередная версия браузера Opera.

Среди изменений:

• Добавлена защита от фишинга
• Плавная прокрутка теперь работает и в *nix.
• Исправлены проблемы с горизонтальной прокруткой на некоторых сайтах, например Adobe.com

Скачать

Opera и Google Reader

Поигравшись немного с Firefox2, заметил там одну любопытную фичу: можно выбрать любой агрегатор для чтения RSS, будь то клиентское приложение или web-based, например Google Reader. Кликаешь на значок RSS, и фид сразу добавляется в список агрегатора.

Захотелось себе такое же в Opera. На первый взгляд, ничего поделать нельзя. Но, порывшись в настройках Reader`а, нашёл как это можно сделать. Идём в Manage subscriptions –> Goodies. Там есть пунктик “Subscribe as you surf”. Перетаскиваем ссылку “Subscribe…” к себе на панель с закладками. Всё, теперь на нужном сайте легко и просто одним кликом по кнопке Subscribe RSS добавляется в Google Reader :)