Поставив на блог систему комментариев DISQUS, первым делом столкнулся с проблемой редактирования темы оформления. Благо, что туда можно загрузить свой собственный CSS стиль! Щелкаем Settings → Appearance: Мне было лень читать официальный мануал, поэтому вот быстрый и простой способ изменить стиль под свои нужды: используем Сhrome. Щелкаем «Просмотр кода элемента» на DISQUS комментариях: Например, чтобы [...]
Случайно обнаружил, что довольно популярное расширение Auto-Translate для Chrome вставляет скрытый текст в записи блога на WordPress. Печатаю новый пост, печатаю… и понадобилось перейти к HTML виду. И вдруг замечаю в самом низу записи массу вставленных «левых» div‘ов: Самое неприятное то, что это невозможно заметить, если вы пишете в «Визуальном» режиме. Более того, [...]
Эту инфу также можно найти в моем микро how-to по gdb. Сейчас новая проблема: как запустить программу с перенаправленным вводом/выводом? Например: Куча сообщений об ошибке и все. Чтобы все запустилось правильно, используем незадокументированную опцию ‘-ex’:
Поставил на рабочую машину 8 Гб памяти. И это просто праздник какой-то. Две виртуалки с виндой свободно работают не особо тесня друг друга. И это при условии, что у меня всего два ядра. Более того, Ubuntu вообще не использует swap (результат одного дня работы), все отлично умещается в памяти. Если вы работаете с виртуалками (конечно [...]
Я давно уже пользуюсь chrome-ом и считаю, что это действительно один из лучших браузеров на сегодня. Скорость работы, синхронизация с google-аккаунтом, cloud-print — вот основные бонусы за которые его можно полюбить. Однако, работая из-под Ubuntu я начал замечать периодические лаги. Дело в том, что моя home директория находится на удаленном сетевом диске, т.к. nis. Очевидно, [...]
Моя основная машина работает под управлением Ubuntu 10.04. Это такая замечательная система, что я не перезагружаю компьютер месяцами. И, как результат, у меня началось сбиваться системное время. В моем случае оно отстает ежедневно на несколько секунд, что суммарно оказывается несколькими минутами в месяц. Несколько раз я опоздал из-за этого на электричку Дело в том, что [...]
Мне не нравится кнопка Пуск (Start) и меню программ в Windows 7. Постоянный скроллинг, нет возможности сразу посмотреть, что из программ установлено. Однако эту проблему можно решить и решить бесплатно. Итак, вот наш чемпион — Start Menu XP. Да да, эта та самая «старая» кнопка ПУСК из мира Windows XP. Встречаем: При наведении мышой получаем [...]
У меня есть плагин для wodpress, который я немало доработал вручную. С появлением новой версии этого плагина wordpress упорно предлагает его обновить, тем самым все мои «изменения» будут потеряны. Плагин работает хорошо, ничего нового в этом обновлении не предвидится, но постоянное и назойливое предложение его обновить уже утомило. Все гениальное — просто, сказал я и [...]
С помощью этих сервисов можно быстро (без регистрации) и просто добавить аннотации и комментарии на веб страницу. The Awesome Highlighter Инструментарий: выделение текста цветом в любое место можно добавить стикер с надписью ССЫЛКА на мое художество ↓ Bounce Инструментарий: выделяем прямоугольные части и добавляем к ним коментарии ССЫЛКА на мое художество ↓ Crocodoc (работает на [...]
Если вы работаете в linux под графической средой Gnome, то обязательно пользуетесь gnome-terminal. По умолчанию его заголовок называется Terminal. Это не очень информативно, особенно, если вы используете несколько вкладок: получаете кучу вкладок с одним и темже названием. Удобно знать, что открыто в соседних вкладках. Чтобы изменить заголовок для gnome-terminal надо поменять переменную окружения PS1, добавив в [...]