date:20120710

On 2012.07.10 at 18:35:41 +0400, Stanislav Maslovski wrote:

> Дык, 15 лет назад видеокарты были попроще и фреймбуффер занимал на два
> порядка меньший объем. Если представить, что рост объема фреймбуфера

Откуда два порядка? Тогда мониторы были 1152x964 сейчас 1280x1024
Глубина цвета тогда была 16 бит, сейчас 24 (хотя реально используется 32
бита) Ну никак не получается даже одного  порядка.
> 


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120711064626.ga27...@wagner.pp.ru

битое raid1-зеркало из usb-hdd после дисконнекта usb

2012-07-10 Пенетрантность dimas

поскольку на форуме ответа так и не получил, продублирую здесь

недавно посетила светлая мысль глянуть раз в сто лет /proc/mdstat на сервере.
глянул! увидел два битых raid1.
конфигурация: два юсб-харда, на них созданы две пары одинаковых разделов (один
под файлопомойку, второй под бэкапы), и из этих разделов собраны зеркала. так
вот, узрев битые зеркала я, конечно, первым делом сделал

sudo mdadm /dev/md/... -r faild
sudo mdadm /dev/md/... --re-add /dev/sdXY

но вот ведь что интересно - диск, который всегда был sdb, стал теперь
называться sdd. ну, думаю, из-за этого и развалилось, щас обратно подцепит, и
все дела. ага! он стал синкать все полностью по-новой. в общем, оставил на ночь
это дело, засинкал свои 500 гигов (что для юсб-железки ваще не полезно)...
а сегодня полез разбираться. и вычитал в dmesg вот что:
http://pastebin.com/PQ6iPdVR

глянув mdadm.conf, я понял, почему он его автоматом не собрал обратно по ююидам:

DEVICE /dev/sdb[25] /dev/sdc[25]

# auto-create devices with Debian standard permissions
CREATE owner=root group=disk mode=0660 auto=yes metadata=1.2 symlinks=no

# automatically tag new arrays as belonging to the local system
HOMEHOST

# instruct the monitoring daemon where to send mail alerts
MAILADDR root

# definitions of existing MD arrays
ARRAY /dev/md/backup metadata=1.2 UUID=6ddea540:2739bd17:2300:362be1ff
name=srv:backup
ARRAY /dev/md/svalka metadata=1.2 UUID=992b06af:42dd8b35:bc2a3843:e50f2e6b
name=srv:svalka

AUTO -all

собственно, в строке DEVICE разгадка и есть.
интересно другое:

1. какого хрена sdb после дисконнекта стал sdd? или ему просто присваивается
имя после последнего занятого?
2. почему после --re-add mdadm стал синкать весь массив с нуля? (вот это уже
более интересно)
про сам дисконнект спрашивать не буду - ошибок никаких тем более, вполне
возможно, что и физически задели, вот и пошатнулся проводок.
3, после следующего ребута, когда sdb вернется на свое место, я опять кукиш с
маслом получу? DEVICE в mdadm.conf поправил, конечно

--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120711102622.19a3e...@ulf.tvoe.tv

Re: нагрузочное тестирование.

2012-07-10 Пенетрантность Sohin Vyacheslaw

02:12 Wed 11 Jul, -=Devil_InSide=- wrote:
> есть сервер с неявными выпадениями в кернел паник.
> чем можно его качественно прогнать для определения узкого места?
> stress внятных результатов не дал.
> 
> вылетал, пока использовался под сервер бд oracle.
> 4 шестиядерных Intel(R) Xeon(R) CPU   E7530  @ 1.87GHz
> 400Г памяти.

Скорее всего где-то сбоящая память. У меня был опыт, когда сервер
изредка валится с kernel panic, а memtest показал ошибку, только после
10 итераций теста.


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: 
http://lists.debian.org/20120711061014.ga20...@blackice.home.tataranovich.com

Re: посоветуйте плз аналог dovecot_a

11.07.2012 01:25, -=Devil_InSide=- пишет:
> ,-[Sohin Vyacheslaw, 10 July 2012 22:09]:
> 

> 
> чой то он courier-imap не нашел ?)
> и cyrus-imapd, к примеру.
> 


может быть потому, что
$$  cat /etc/apt/sources.list
deb http://ftp.us.debian.org/debian squeeze main
deb http://security.debian.org/ squeeze/updates main

?

--
BW,
Сохин Вячеслав


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4ffcf168.6090...@yandex.ua

Re: Несколько вопросов вразброс

2012-07-10 Пенетрантность -=Devil_InSide=-

On Tue, Jul 10, 2012 at 09:53:02PM +0400, "Артём Н." wrote:
> On 08.07.2012 17:23, Stanislav Maslovski wrote:
> > На практике ситуация такова: случаев, где возможно *полное* формальное
> > доказательство правильности программы *больше*, чем случаев, где для этого
> > достаточно *простых* тестов. 
> > Как правило, построение *полного* теста эквивалентно решению исходной
> > программной задачи, и, поэтому, не имеет никакой ценности для 
> > доказательства.
> Понятно. А вообще, случаев, когда:
> 1. возможно полное доказательство;
> 2. доказательство имеет практическое значение;
> много?

Они есть. Этого уже достаточно.

> >>> Можно 1000 раз успешно прогнать *все*
> >>> комбинации входных переменных некой процедуры, а на 1001-м получить
> >>> ошибку, например, из-за утечки памяти, или из-за переполнения какой-нибудь
> >>> переменной-счётчика, которая не обнуляется между вызовами, и т.п.
> >> Значит не были протестированы _все_ состояния.
> > Задолбал! :)
> Не, ну я здесь прав. ;-)

Нет. Повторюсь: построение *полного* теста в общем случае эквивалентно решению
исходной программной задачи. Как ты собираешься доказывать правильность
самого теста? Ещё одним тестом? И так до бесконечности?

> >> Я неправильно выразился. Полное доказательство корректности достаточно 
> >> сложной
> >> системы провести на практике невозможно ввиду слишком больших затрат 
> >> ресурсов (и
> >> ещё возможно, из-за отсутствия метода доказательства). Так?
> > Нет. Я утверждал, что во многих случаях *полное* формальное
> > доказательство *возможно* с конечными ресурсами и за конечное время.
> > Просто это доказательство строится совсем не тем способом, который ты
> > себе представляешь.
> Каким?

Примерно так, как доказывают теоремы в математике: исходя из общих
свойств операторов программы, её исходных данных и конечного
результата.

> > Вот тебе элементарный пример: докажи теорему Пифагора *тестами* =)
> Возможно повысить уверенность в том, что алгоритм доказательства теоремы
> реализован правильно, используя тесты.

Это ещё что за новая сущность? "алгоритм доказательства теоремы"?

> Про "доказательство" тестами я ничего не писал. :-)

Да ну? А как же пресловутая проверка по "всем" состояниям?

> Кстати, а что насчёт Ада?
[...]
> Что про него можете сказать?

Кроме общих мест - ничего.

-- 
Stanislav


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120711001856.GA4240@kaiba.homelan

нагрузочное тестирование.

есть сервер с неявными выпадениями в кернел паник.
чем можно его качественно прогнать для определения узкого места?
stress внятных результатов не дал.

вылетал, пока использовался под сервер бд oracle.
4 шестиядерных Intel(R) Xeon(R) CPU   E7530  @ 1.87GHz
400Г памяти.

сейчас пытаемся 
-- 
__
mpd status: [paused]
Rainbow - Starstruck
**
*  jabber:  devil_ins...@jabber.ru   *
*   Registered linux user #450844*
**



-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/jti9cn$mnf$1...@dough.gmane.org

Re: Несколько вопросов вразброс

2012-07-10 Пенетрантность Igor Chumak

-Куть
> > Это если ты делаешь ошибку, которую тест уже ловит.  А если ты делаешь
> > ошибку, которую тест еще не ловит (а она будет, и не одна), то результат
> > будет тот же самый, как если бы теста не было вообще.  Внятная и
> > подробная диагностика поэтому обязательна.
> Я и делаю. Как-раз хотел спросить (очередной провокационный вопрос).
> Как организовывать обработку ошибок? >:-)
> Т.е., вызывается функция. Она должна вернуть код завершения.
> В функции м.б. вложенные функции.
> В функции может выполниться только часть вызовов вложенных функций.
> К примеру, бэкап БД не прошёл, но бэкап состояния пакетов, который
делается
> следующим, должен быть сделан.
> Какой код возвращать?
>
Обычно возвращают статистику "время выполнения, сколько задач в  задании
провалилось, сколько файлов скопировано, сколько байт прочитано, сколько
записано...". Если какая-то часть логики вынесена в функцию,значит
результат ее должен что-то означать?

Можно писать ошибки в глобальный массив, в конце работы его анализировать.

> Код возврата, вызванной программы, видимо, не вариант. Сделал на флагах.
> Чтобы было понятно в какой функции произошла ошибка. Но как-то...
> А как правильно?
>
Как сказано было выше, у perl есть use Carp; задачу "определить в какой
функции ошибка " поможет решить

Re: Почему APT одновременно с linux-image не обновляет linux-headers?

2012-07-10 Пенетрантность Степан Голосунов

22:47 Tue 10 Jul, Степан Голосунов wrote:
> Andrey Tataranovich  writes:
> > 21:58 Tue 10 Jul, Степан Голосунов wrote:
> >> Andrey Tataranovich  writes:
> >> > Посмотри на версию ядра (linux-image-3.2.0-3-amd64) оно как раз в тестинг
> >> > c неделю назад приплыло, а тот факт, что хедеры не обновились сами 
> >> > означает,
> >> > что либо пиннинг кривой, либо система смешанная.
> >> 
> >> Ядро-то может быть и приплыло с неделю назад, а вот linux-image-amd64,
> >> зависящий от нового ядра, приплыл только вчера. Ну и
> >> linux-headers-amd64, вероятно, не установлен.
> >
> >   Где написано, что он вчера приплыл? Changelog для linux-image-amd64 и
> > linux-image-3.2.0-3-amd64 содержит обновления за конец 26-28 июня.
> 
> http://packages.qa.debian.org/linux-latest

Да, ваша правда - я глянул в changelog пакета, а про то, что запись в 
changelog'е
относится к unstable упустил из виду.

-- 
WBR, Andrey Tataranovich


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120710200255.gm16...@debbox.it

skype + bluetooth headset

2012-07-10 Пенетрантность Timothy Silent

Доброго времени.
пытаюсь использовать связку. всё настроилось и работает, кроме
громкости гарнитуры. alsamixer bluetooth-карту не кажет,
в /proc/asound/cards её нету. Поискал рецептов но не нашел. 

---
Тарас aka L0ki


--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120710221611.686d2c0a@ibem

Re: Почему APT одновременно с linux-image не обновляет linux-headers?

Andrey Tataranovich  writes:
> 21:58 Tue 10 Jul, Степан Голосунов wrote:
>> Andrey Tataranovich  writes:
>> > Посмотри на версию ядра (linux-image-3.2.0-3-amd64) оно как раз в тестинг
>> > c неделю назад приплыло, а тот факт, что хедеры не обновились сами 
>> > означает,
>> > что либо пиннинг кривой, либо система смешанная.
>> 
>> Ядро-то может быть и приплыло с неделю назад, а вот linux-image-amd64,
>> зависящий от нового ядра, приплыл только вчера. Ну и
>> linux-headers-amd64, вероятно, не установлен.
>
>   Где написано, что он вчера приплыл? Changelog для linux-image-amd64 и
> linux-image-3.2.0-3-amd64 содержит обновления за конец 26-28 июня.

http://packages.qa.debian.org/linux-latest


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/87y5mrtpw4@sghpc.hn.golosunov.pp.ru

Re: посоветуйте плз аналог dovecot_a

2012-07-10 Пенетрантность Илья Сапыцкий

2012/7/10 Sohin Vyacheslaw 

> Вечер добрый,
>
> посоветуйте плз сабж...
> насколько я понимаю dovecot довольно перегружен ф-иями и вв некоторой
> степени избыточен...
> интересует функционал IMAP-сервера...
>
> $  apt-cache search dovecot
> dovecot-common - secure mail server that supports mbox and maildir
> mailboxes
> dovecot-dbg - debug symbols for Dovecot
> dovecot-dev - header files for the dovecot mail server
> dovecot-imapd - secure IMAP server that supports mbox and maildir mailboxes
> dovecot-pop3d - secure POP3 server that supports mbox and maildir mailboxes
>
> а то вроде как выбор невелик:
>
> $  apt-cache search imap4
> 
> 
> dbmail - base package for the dbmail email solution
> mailutils-imap4d - GNU mailutils-based IMAP4 Daemon
> perdition - POP3 and IMAP4 Proxy server
> php-net-imap - Provides an implementation of the IMAP protocol
> python-twisted-mail - An SMTP, IMAP and POP protocol implementation
> uw-imapd - сервер удалённого доступа к почте через протокол IMAP4rev1
>
> ..
>
> а вам надо именно 4? так-то courier да и вообще много другой хрени...
-- 
Don't worry, be happy!

Re: Почему APT одновременно с linux-image не обновляет linux-headers?

2012-07-10 Пенетрантность Sohin Vyacheslaw

21:58 Tue 10 Jul, Степан Голосунов wrote:
> Andrey Tataranovich  writes:
> > Посмотри на версию ядра (linux-image-3.2.0-3-amd64) оно как раз в тестинг
> > c неделю назад приплыло, а тот факт, что хедеры не обновились сами означает,
> > что либо пиннинг кривой, либо система смешанная.
> 
> Ядро-то может быть и приплыло с неделю назад, а вот linux-image-amd64,
> зависящий от нового ядра, приплыл только вчера. Ну и
> linux-headers-amd64, вероятно, не установлен.

  Где написано, что он вчера приплыл? Changelog для linux-image-amd64 и
linux-image-3.2.0-3-amd64 содержит обновления за конец 26-28 июня.


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: 
http://lists.debian.org/20120710183503.ga4...@blackice.home.tataranovich.com

Re: мониторин сервера via e-mail

10.07.2012 20:59, alex kuklin пишет:
> On 10.07.2012 20:57, Sohin Vyacheslaw wrote:
>>
> logwatch настроить?...
> 
> 



спасибо, то что надо...

--
BW,
Сохин Вячеслав


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4ffc74b4.1060...@yandex.ua

Re: Несколько вопросов вразброс

2012-07-10 Пенетрантность Артём Н.

On 05.07.2012 22:04, Artem Chuprina wrote:
> Артём Н. -> debian-russian@lists.debian.org  @ Thu, 05 Jul 2012 19:38:56 
> +0400:
>  >>  >> На практике же основная проблема тестов заключается в том, что они 
> сами
>  >>  >> содержат ошибки и часто тестируют не то, что надо
>  >>  АН> Тесты для тестов... >< Тесты, в принципе, должны быть просты и
>  >>  АН> малы, как мне кажется.
>  >> Тогда они не покроют код.
>  АН> Но это лучше, чем ничего?
> Теоретически да.  Практически - это сильно зависит от успешности
> создания у программиста иллюзии "код тестируется".
Но ведь, всё-равно, хоть какой-то тест - лучше, чем отсутствие всякой проверки?

>  >>  >> Так вот, я не поручусь, что агда тебя заставит доказать программу.
>  >>  >> Скорее всего, не заставит.  Но то, что она согласится скомпилировать,
>  >>  >> будет надежнее, чем то, что ты сможешь автоматически оттестировать за
>  >>  >> разумное время.  Ключевое слово тут "автоматически" - ручное
>  >>  >> тестированние может открыть много нового.
>  >>  >> 
>  >>  >>  >>  >>  >>  >> Любой статически типизированный функциональный язык с 
> нормальной
>  >>  >>  >>  >>  >>  >> системой типов, начиная с того же Haskell или Ocaml.
>  >>  >>  >>  >>  >>  АН> Ocaml? Любопытно. Пожалуй, посмотрю подробнее.
>  >>  >>  >>  >>  >>  АН> Для него есть какая-то IDE? И как с библиотеками?
>  >>  >>  >>  >>  >> Я знаю одну IDE на все случаи жизни.  Emacs.
>  >>  >>  >>  >>  АН> И для всяких там GUI? ;-) В общем, я им не пользуюсь.
>  >>  >>  >>  >> Ну да.  Поскольку мои дизайнерские способности ниже средних, 
> в отличие
>  >>  >>  >>  >> от способностей в разработке поведения, я предпочитаю GUI, 
> которые
>  >>  >>  >>  >> пишут, а не рисуют.  Внешний вид - дефолтный, а поведение 
> описывается
>  >>  >>  >>  >> словами.
>  >>  >>  >>  АН> Дык, "внешний вид" - это не картинка кнопки, а компоновка. 
> Всё же
>  >>  >>  >>  АН> словами не опишешь. Видеть надо.
>  >>  >>  >> Компоновка как раз очень неплохо описывается словами.  Заодно 
> потом не
>  >>  >>  >> возникает типичных для мышконавозенного гуя ситуаций, когда при 
> переводе
>  >>  >>  >> на русский половина надписей получается обрезанной, и в лучшем 
> случае -
>  >>  >>  >> поперек, а то я у фотошопа видал, что видно нижнюю половину одной 
> строки
>  >>  >>  >> и верхнюю - другой...
>  >>  >>  АН> Я понимаю, что практически любой интерфейс описывается словами. 
> :-)
>  >>  >>  АН> Такой же язык. Но создавать его, описывая словами, мне кажется не
>  >>  >>  АН> самой лучшей и перспективной идеей.
>  >>  >> 
>  >>  >> А зря.  Если описывать его поведение словами, предварительно 
> подуманными
>  >>  >> головой, а визуал оставить на простенькую автоматику, то... выглядеть 
> он
>  >>  >> будет не шедеврально.
>  >>  АН> Выглядеть - в плане?
>  >> 
>  >> Ну вот тебе не нравится интерфейс, сделанный на Tk.  Внешне.  Типа,
>  >> gtk'шный круче.  С виду.
>  АН> Терпеть его не могу. Стараюсь программы с gtk интерфейсом
>  АН> использовать только когда нет альтернативы. Предпочитаю QT.
> 
> Ну, не важно.  Пусть qt.  По мне ни то, ни другое с виду не лучше Tk
O_O

> наблюдаю я сейчас перед собой интерфейсы, сделанные вообще на lucid
> (emacs) и на голом xt (xterm), со старательно оторванными менюшками и
> скроллбарами, но на вкус и цвет все фломастеры разные.
У вас интернеты не через lynx? o.O

> Суть в том, что чтобы создать шедевральный внешний вид, нужен художник.
Дизайнер. Художник - далеко не на первом месте.

> Ну, в крайнем случае гениальный дизайнер.  Нет, просто хорошего не
> хватит, у него не получится шедевр.
Зачем шедевр, если достаточно просто хорошего интерфейса, которым удобно
пользоваться? Перфекционизм, кажется, к хорошему не приводит. И почему не
сделать интерфейс красивее (а по заявлениям здесь ещё и безглючнее и удобнее)
вырвигазного Tk, если это не пойдёт в ущерб его функциональности?

>  >>  >> Зато им будет удобно пользоваться.  А от
>  >>  >> интерфейса, о чем современные мышевозильцы под давлением маркетологов
>  >>  >> обычно забывают, требуется именно удобно себя вести, а не красиво
>  >>  >> выглядеть.  Иначе непонятно, зачем он вообще нужен - если ты хочешь
>  >>  >> красивого, выведи себе xsetroot'ом на весь экран картину Рериха, и 
> сиди,
>  >>  >> наслаждайся...
>  >>  АН> Построение интерфейса не сводится к его описанию.
>  >>  АН> То, как он выглядит, нельзя отделять от того, как он себя ведёт.
>  >>  АН> "Красота" должна тоже быть.
>  >> Красота должна сводиться к удобству.  Если шрифт корявый, его неудобно
>  >> читать (привет вашей gtk, которая работает через fontconfig, который
>  >> подставляет шрифты взамен отсуствующих так, что хочется приговорить его
>  >> автора весь остаток жизни смотреть на эти подстановки).
>  АН> Ну, я о таком не знаю. :-)
> 
>  >> Если его удобно читать, то он красивый.
>  АН> o.O ЩИТО? Шрифт Mistral, Vladimir Script или Brush Script читать неудобно
>  АН> (причём, не только рукописные, но и большую часть декоративных шрифтов).
>  АН> Тем не менее, он краси

Re: мониторин сервера via e-mail

2012-07-10 Пенетрантность alex kuklin


On 10.07.2012 20:57, Sohin Vyacheslaw wrote:

Здравствуйте,

подскажите плз с помощью какой утилиты можно настроить отправку сообщений руту 
при наступлении определённых событий, функционал rsyslogd насколько я понял 
ограничивается отправкой сообщений залогиненным на сервере пользователям или 
отправкой на другой сервер для взаимодействия с другим rsyslogd...
ранее использовал для этого самописные скрипты, запускаемые по крону, может 
есть подобный софт для этих целей? помнится во фрихе можно с полпинка настроить 
ежесуточные репорты на рутовское мыло...


logwatch настроить?...


--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4ffc6d86.2000...@kuklin.ru

Re: Несколько вопросов вразброс

2012-07-10 Пенетрантность Артём Н.

On 08.07.2012 17:23, Stanislav Maslovski wrote:
> On Thu, Jul 05, 2012 at 08:20:19PM +0400, "Артём Н." wrote:
>> 04.07.2012 09:21, Stanislav Maslovski пишет:
>>> Если система обладает неограниченной памятью, как машина Тьюринга с 
>>> бесконечной
>>> лентой, то в общем случае нельзя. На практике нельзя уже при сколько-нибудь
>>> значительном объёме памяти, просто в силу потребного времени.
>> Я про практику.
> На практике ситуация такова: случаев, где возможно *полное* формальное
> доказательство правильности программы *больше*, чем случаев, где для этого
> достаточно *простых* тестов. 
> Как правило, построение *полного* теста эквивалентно решению исходной
> программной задачи, и, поэтому, не имеет никакой ценности для доказательства.
Понятно. А вообще, случаев, когда:
1. возможно полное доказательство;
2. доказательство имеет практическое значение;
много?

>>> На самом деле, он просто утверждает, что тестирование на примерах (т.е.,
>>> твоё "перечисление всех состояний, подав на вход все комбинации нулей и
>>> единиц") ничего не гарантирует.
>> Всех состояний - гарантирует. Но это практически невозможно :-)
> Да нет же. Почему - следует из вышенаписанного.
В частном случае, если представить программу, как конечный автомат с памятью...

>>> Можно 1000 раз успешно прогнать *все*
>>> комбинации входных переменных некой процедуры, а на 1001-м получить
>>> ошибку, например, из-за утечки памяти, или из-за переполнения какой-нибудь
>>> переменной-счётчика, которая не обнуляется между вызовами, и т.п.
>> Значит не были протестированы _все_ состояния.
> Задолбал! :)
Не, ну я здесь прав. ;-)

> 
>>> Похоже, что ты сам запутался в своих рассуждениях: тебя *принципиальная*
>>> доказуемость интересует, или всё же доказуемость в частных случаях? С
>>> первым всё ясно, а про второе тебе уже писали, что доказывать во многих
>>> случаях можно, для этого есть методы, и методы эти не основаны на
>>> переборе всех нулей и единиц.
>> Я неправильно выразился. Полное доказательство корректности достаточно 
>> сложной
>> системы провести на практике невозможно ввиду слишком больших затрат 
>> ресурсов (и
>> ещё возможно, из-за отсутствия метода доказательства). Так?
> Нет. Я утверждал, что во многих случаях *полное* формальное
> доказательство *возможно* с конечными ресурсами и за конечное время.
> Просто это доказательство строится совсем не тем способом, который ты
> себе представляешь.
Каким?

> Вот тебе элементарный пример: докажи теорему Пифагора *тестами* =)
Возможно повысить уверенность в том, что алгоритм доказательства теоремы
реализован правильно, используя тесты. Про "доказательство" тестами я ничего не
писал. :-)

 И на практике: будь всё так хорошо, как вы пишите, все бы уже давно писали 
 на
 Прологе (по крайней мере, знали бы что это такое). :-)
>>> Незнание, как говорится, не освобождает от ответственности. Плюс, в
>>> идеальном мире все бы уже давно писали хотя бы на том же Haskell...
>> Что такое "идеальный мир", в данном случае? o.O
> Мир, в котором невежество не выставляется за геройство ;)
Сомнительная утопия или даже антиутопия...

Кстати, а что насчёт Ада?
Пишут (в сегодня почившей вики):
"Сторонники Ады утверждают, что единственная альтернатива большому и сложному
языку в больших проектах — это применение нескольких компактных языков,
неизбежно порождающее проблемы с совместимостью, для избавления от которых и
была придумана Ада. Они замечают также, что представление о сложности разработки
на Аде верно лишь отчасти: написание простой программы на Аде действительно
требует больше времени, чем на других, менее формальных языках, типа Си, но
отладка и сопровождение программ, особенно крупных и сложных, значительно
упрощается. По утверждению Стефена Цейгера из Rational Software Corporation[6],
разработка программного обеспечения на Аде в целом обходится на 60 % дешевле, а
разработанная программа имеет в 9 раз меньше дефектов, чем при использовании
языка Си."

Плюс есть GNAT и среда GPS. А от проблем, которые были у старых версий (в т.ч.
совместимостью с др. языками), Ada95, вроде как ушёл... И синтаксис с парадигмой
знакомые... И пишут на нём.
Что про него можете сказать?


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4ffc6bfe.2010...@yandex.ru

Re: NVidia (Re: Почему APT одновременно с linux-image не обновляет linux-headers?)

On Tue, Jul 10, 2012 at 06:10:39PM +0400, Victor Wagner wrote:
> On 2012.07.10 at 17:06:36 +0300, Dmitry Nezhevenko wrote:
> 
> > 
> > Ага. На ноутбуке ВНЕЗАПНО одно из позиционирующих устройств -- тачпад,
> > которому обычного /dev/input/mice явно не хватает (хоть он и умеет быть
> > совместимым с ним).
>  
> Это гадство меня тоже злит безмерно. Вот на старых Thinkpad-ах был
> touchstick и три кнопки к нему, это было удобно. А сейчас даже на
> thinkpad-ах делают в дополнение к нему этот идиотский тачпад, по
> которому все время ладонью попадаешь при работе на клавиатуре.

Если тачпад умеет мультитач, то может оказаться, что он также умеет
фильтровать касание ладонью (опция PalmDetect, man 4 synaptics). 

-- 
Stanislav


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120710164620.GA19866@kaiba.homelan

Re: NVidia

On Tue, Jul 10, 2012 at 09:53:37PM +0700, Ivan Shmakov wrote:
> > Victor Wagner  writes:
>  > Вот это еще одна причина по которой нельзя пользоваться драйверами от
>  > производителей оборудования.  Они не умеют писать программы, так
>  > чтобы оно не висло.  Я лично всегда предпочитаю иметь меньше
>  > функциональности, но чтобы работало гарантировано, чем рисковать
>  > из-за подвиса машины потерять кусок сделанной работы.
> 
>   Присоединяюсь.
> 
>   Отдельно замечу, что, по мнению Таненбаума, окончательным
>   решением в таком случае может быть только микроядро.

Если бы... Нынче CPU и GPU повязаны настолько тесно, что, как я
полагаю, всегда найдётся железный (от слова hardware) вариант убить
систему, убив GPU.

-- 
Stanislav


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120710162316.GA19263@kaiba.homelan

Re: Gtk vs. Xt

2012-07-10 Пенетрантность Eugene Berdnikov

On Tue, Jul 10, 2012 at 09:45:18PM +0700, Ivan Shmakov wrote:
> > Stanislav Maslovski  writes:
> > On Tue, Jul 10, 2012 at 11:57:24AM +0600, Sergej Kochnev wrote:
> > Ivan Shmakov  wrote:
> 
> […]
> 
>  >>> Выходит, что правка ~/.Xresources для приложений на основе Xt и Tk
>  >>> все же быстрее «для непосвященных», чем правка ~/.gtkrc-2.0?
> 
>  >> Думаю, да.  Для уверенной правки стилей GTK 2.0 нужно усвоить общую
>  >> документацию, а потом специфические для конкретных движков
>  >> параметры.
> 
>  > Окститесь, граждане...  Правка ~/.Xresources всегда была делом
>  > "посвящённых", а непосвящённые в основном копировали, что им
>  > удавалось добыть от "гуру".
> 
>   Это какие-то абсолютные «непосвященные» и «гуру» получаются.

Обычные пользователи vs. красноглазики/бородачи (выбрать по вкусу).
Шучу. По сути дела см. ниже.

> А вот ~/.gtkrc-2.0 править у меня особой нужды не было, поэтому вполне
> можно считать меня «непосвященным.» И, на мой взгляд, правка сих
> настроек — занятие не столь уж тривиальное.
> 
>   Замечу также, что документация на приложения на основе Xt обычно
>   включает в себя описание иерархии элементов интерфейса.

То, что попадается в манах, очень отрывочно, и не позволяет составить
полной картины о возможностях тулкита. Документация на Xt и Athena
Widgets в сети есть, но я подозреваю, что читали ее очень немногие
(ее ещё надо суметь найти для начала).

Например, ресурс international: true | false в манах, ЕМНИМС, не
описан нигде.

Тем не менее, ценность всех этих знаний неуклонно приближается к нулю.

> В иных случаях, помогает уже упомянутый мною ранее editres(1).
> Напротив, для Gtk я пока ничего похожего не вижу.

Зато на Gtk в сети есть документация, которую довольно легко найти
даже непосвящённому.

-- 
Stanislav

-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120710161310.GA15922@kaiba.homelan

Re: NVidia (Re: Почему APT одновременно с linux-image не обновляет linux-headers?)

On Tue, Jul 10, 2012 at 05:42:40PM +0400, Victor Wagner wrote:
> On 2012.07.10 at 17:14:47 +0400, Eugene Berdnikov wrote:
> 
> > On Tue, Jul 10, 2012 at 11:34:13AM +0400, Victor Wagner wrote:
> > > Впрочем, я считаю что ни в коем случае нельзя использовать проприетарные
> > > драйвера NVidia. Есть nv, которому никакой DKMS   не нужен.
> > 
> >  А вот с этого места подробнее, pls. Расскажите мне, как правильно
> >  удержать xserver-xorg-video-nv на машине, если в апстриме его
> >  уже нет. Он у меня на одной машине сохранился, на остальных я
> 
> Не апгрейдиться. В stable он еще есть.

 Может, сразу завернуться в ассемблерные распечатки и заспиртоваться? :)
 Мне иногда нужно новый софт ставить: жизнь она не стоит на месте, даже
 если железо законсервировать. А новые программы почему-то пишутся под
 современные либы, которые имеют свойства обновляться.

> >  прощёлкал клювом и пакет удалился при апдейтах. :( Приходится
> >  выбирать между nouveau и vesafb, у каждого свои тараканы по части
> >  разрешений, частот, глубины цвета и т.д.
> 
> Причем здесь fb? fb вообще оторвать надо. xserver-xorg-video-vesa - это
> да, если функциональности хватает.

 Не хватает, конечно. Хотя бы потому, что vesa включает лишь определённые
 соотношения размеров экрана, что для lcd-панелей неприятно.

> nouveau в stable был какой-то совсем нерабочий. 

 В testing рабочий, но с теми же проблемами.

> А зачем нужны новые версии xorg? Я б вообще с удовольствием бы вернулся 
> к XFree86 этак 15-летней давности. Компактное оно было и быстрое.

 Только работало оно на ископаемом нынче оборудовании.

> >  И ещё. На одной машине стоит проприетарный драйвер от NVidia,
> >  он отличается тем, что иногда машину подвешивает -- намертво.
> >  Обычно на ютубовских роликах, но может и при такой фигне, как
> >  переключение на соседний скрин.
> 
> Вот это еще одна причина по которой нельзя пользоваться драйверами от
> производителей оборудования. Они не умеют писать программы, так чтобы
> оно не висло. Я лично всегда предпочитаю иметь меньше функциональности,
> но чтобы работало гарантировано, чем рисковать из-за подвиса машины
> потерять кусок сделанной работы.

 Странно, у меня нет особых претензий к драйверам интеловских сетевых карт,
 которые пишутся людьми из Интела. Видимо, производители разные бывают.
-- 
 Eugene Berdnikov


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120710145918.gq3...@sie.protva.ru

Gtk vs. Xt

> Stanislav Maslovski  writes:
> On Tue, Jul 10, 2012 at 11:57:24AM +0600, Sergej Kochnev wrote:
> Ivan Shmakov  wrote:

[…]

 >>> Выходит, что правка ~/.Xresources для приложений на основе Xt и Tk
 >>> все же быстрее «для непосвященных», чем правка ~/.gtkrc-2.0?

 >> Думаю, да.  Для уверенной правки стилей GTK 2.0 нужно усвоить общую
 >> документацию, а потом специфические для конкретных движков
 >> параметры.

 > Окститесь, граждане...  Правка ~/.Xresources всегда была делом
 > "посвящённых", а непосвящённые в основном копировали, что им
 > удавалось добыть от "гуру".

Это какие-то абсолютные «непосвященные» и «гуру» получаются.

С Xaw я знаком более десяти лет и, действительно, мне сложно
понять, что в нем может быть сложного?  А вот ~/.gtkrc-2.0
править у меня особой нужды не было, поэтому вполне можно
считать меня «непосвященным.» И, на мой взгляд, правка сих
настроек — занятие не столь уж тривиальное.

Замечу также, что документация на приложения на основе Xt обычно
включает в себя описание иерархии элементов интерфейса.  В иных
случаях, помогает уже упомянутый мною ранее editres(1).
Напротив, для Gtk я пока ничего похожего не вижу.
(Справедливости ради, у Tk и Qt с этим, AIUI, не лучше.)

-- 
FSF associate member #7257  http://sf-day.org/

-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/86a9z73cap.fsf...@gray.siamics.net

Re: NVidia (Re: Почему APT одновременно с linux-image не обновляет linux-headers?)

2012-07-10 Пенетрантность Dmitry Nezhevenko

On Tue, Jul 10, 2012 at 05:42:40PM +0400, Victor Wagner wrote:
> А зачем нужны новые версии xorg? Я б вообще с удовольствием бы вернулся 
> к XFree86 этак 15-летней давности. Компактное оно было и быстрое.

Дык, 15 лет назад видеокарты были попроще и фреймбуффер занимал на два
порядка меньший объем. Если представить, что рост объема фреймбуфера
примерно коррелирует с ростом производительности шины, то всякие
*-vesa и *-fb драйверы должны тормозить сейчас примерно также, как они
тормозили тогда.

ЕМНИМС, некий провал в производительности и скачок в жручести был в связи
с переездом на XFree86 4.x, но это было так давно...

-- 
Stanislav

-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120710143541.GA14035@kaiba.homelan

Re: NVidia (Re: Почему APT одновременно с linux-image не обновляет linux-headers?)

On Tue, Jul 10, 2012 at 06:10:39PM +0400, Victor Wagner wrote:
> Это гадство меня тоже злит безмерно. Вот на старых Thinkpad-ах был
> touchstick и три кнопки к нему, это было удобно. А сейчас даже на
> thinkpad-ах делают в дополнение к нему этот идиотский тачпад, по
> которому все время ладонью попадаешь при работе на клавиатуре.

Он блокируется легко. Только хоткей повесить на это поудобнее..
 
-- 
WBR, Dmitry


signature.asc
Description: Digital signature

Re: NVidia (Re: Почему APT одновременно с linux-image не обновляет linux-headers?)

2012-07-10 Пенетрантность Dmitry Nezhevenko

On 2012.07.10 at 17:06:36 +0300, Dmitry Nezhevenko wrote:

> 
> Ага. На ноутбуке ВНЕЗАПНО одно из позиционирующих устройств -- тачпад,
> которому обычного /dev/input/mice явно не хватает (хоть он и умеет быть
> совместимым с ним).

Это гадство меня тоже злит безмерно. Вот на старых Thinkpad-ах был
touchstick и три кнопки к нему, это было удобно. А сейчас даже на
thinkpad-ах делают в дополнение к нему этот идиотский тачпад, по
которому все время ладонью попадаешь при работе на клавиатуре.

-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120710141039.ga6...@wagner.pp.ru

Re: NVidia (Re: Почему APT одновременно с linux-image не обновляет linux-headers?)

2012-07-10 Пенетрантность Иван Лох

On Tue, Jul 10, 2012 at 06:00:10PM +0400, Victor Wagner wrote:
> On 2012.07.10 at 16:54:45 +0300, Dmitry Nezhevenko wrote:
> 
> > > А зачем нужны новые версии xorg? Я б вообще с удовольствием бы вернулся 
> > > к XFree86 этак 15-летней давности. Компактное оно было и быстрое.
> > 
> > Ага. И каждый раз ковыряться в конфиге, как только внешнюю
> > клавиатуру/мышку/монитор/проектор цепляешь к ноутбуку... Нет уж, спасибо.
> 
> С хотплагом прекрасно справляется ядро. Поручать это X-серверу - лишнее.
> Не его собачье дело сколько там позиционируюищх устройств под
> /dev/input/mice

Все-таки, мышь и планшет -- не одно и тоже...


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120710140823.gl24...@nano.ioffe.rssi.ru

Re: NVidia (Re: Почему APT одновременно с linux-image не обновляет linux-headers?)

On Tue, Jul 10, 2012 at 06:00:10PM +0400, Victor Wagner wrote:
> On 2012.07.10 at 16:54:45 +0300, Dmitry Nezhevenko wrote:
> 
> > > А зачем нужны новые версии xorg? Я б вообще с удовольствием бы вернулся 
> > > к XFree86 этак 15-летней давности. Компактное оно было и быстрое.
> > 
> > Ага. И каждый раз ковыряться в конфиге, как только внешнюю
> > клавиатуру/мышку/монитор/проектор цепляешь к ноутбуку... Нет уж, спасибо.
> 
> С хотплагом прекрасно справляется ядро. Поручать это X-серверу - лишнее.
> Не его собачье дело сколько там позиционируюищх устройств под
> /dev/input/mice

Ага. На ноутбуке ВНЕЗАПНО одно из позиционирующих устройств -- тачпад,
которому обычного /dev/input/mice явно не хватает (хоть он и умеет быть
совместимым с ним).

PS. Сорри за письмо в личку

-- 
WBR, Dmitry


signature.asc
Description: Digital signature

Re: NVidia (Re: Почему APT одновременно с linux-image не обновляет linux-headers?)

2012-07-10 Пенетрантность Иван Лох

On Tue, Jul 10, 2012 at 05:42:40PM +0400, Victor Wagner wrote:
> 
> А зачем нужны новые версии xorg? Я б вообще с удовольствием бы вернулся 
> к XFree86 этак 15-летней давности. Компактное оно было и быстрое.

Только, что рамки быстро рисовало, а если поглубже... Да и разрешения были
совсем другие, количество цветов. Я уж не говорю, что в XFree86 долгое
время нормально поддерживал только S3 и Matrox.

-- 
Иван Лох

-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120710140641.gk24...@nano.ioffe.rssi.ru

Re: NVidia (Re: Почему APT одновременно с linux-image не обновляет linux-headers?)

2012-07-10 Пенетрантность Dmitry Nezhevenko

On 2012.07.10 at 16:54:45 +0300, Dmitry Nezhevenko wrote:

> > А зачем нужны новые версии xorg? Я б вообще с удовольствием бы вернулся 
> > к XFree86 этак 15-летней давности. Компактное оно было и быстрое.
> 
> Ага. И каждый раз ковыряться в конфиге, как только внешнюю
> клавиатуру/мышку/монитор/проектор цепляешь к ноутбуку... Нет уж, спасибо.

С хотплагом прекрасно справляется ядро. Поручать это X-серверу - лишнее.
Не его собачье дело сколько там позиционируюищх устройств под
/dev/input/mice


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120710140010.ga6...@wagner.pp.ru

Re: NVidia (Re: Почему APT одновременно с linux-image не обновляет linux-headers?)

On Tue, Jul 10, 2012 at 05:42:40PM +0400, Victor Wagner wrote:
> 
> Не апгрейдиться. В stable он еще есть.

Через год не будет.

> А зачем нужны новые версии xorg? Я б вообще с удовольствием бы вернулся 
> к XFree86 этак 15-летней давности. Компактное оно было и быстрое.

Ага. И каждый раз ковыряться в конфиге, как только внешнюю
клавиатуру/мышку/монитор/проектор цепляешь к ноутбуку... Нет уж, спасибо.

-- 
WBR, Dmitry

signature.asc
Description: Digital signature

Re: NVidia (Re: Почему APT одновременно с linux-image не обновляет linux-headers?)

2012-07-10 Пенетрантность Eugene Berdnikov

On 2012.07.10 at 17:14:47 +0400, Eugene Berdnikov wrote:

> On Tue, Jul 10, 2012 at 11:34:13AM +0400, Victor Wagner wrote:
> > Впрочем, я считаю что ни в коем случае нельзя использовать проприетарные
> > драйвера NVidia. Есть nv, которому никакой DKMS   не нужен.
> 
>  А вот с этого места подробнее, pls. Расскажите мне, как правильно
>  удержать xserver-xorg-video-nv на машине, если в апстриме его
>  уже нет. Он у меня на одной машине сохранился, на остальных я

Не апгрейдиться. В stable он еще есть.

>  прощёлкал клювом и пакет удалился при апдейтах. :( Приходится
>  выбирать между nouveau и vesafb, у каждого свои тараканы по части
>  разрешений, частот, глубины цвета и т.д.

Причем здесь fb? fb вообще оторвать надо. xserver-xorg-video-vesa - это
да, если функциональности хватает.

nouveau в stable был какой-то совсем нерабочий. 

>  Я понимаю, что пакет можно прибить гвоздиками в пакетном менеджере.
>  Но паровоз с апдейтами ведь бежит всё дальше и дальше... новые
>  версии xorg'а уже не могут работать со старым nv_drv.so: не хватает
>  каких-то so-шек, символы не резолвятся и т.п.

А зачем нужны новые версии xorg? Я б вообще с удовольствием бы вернулся 
к XFree86 этак 15-летней давности. Компактное оно было и быстрое.

>  И ещё. На одной машине стоит проприетарный драйвер от NVidia,
>  он отличается тем, что иногда машину подвешивает -- намертво.
>  Обычно на ютубовских роликах, но может и при такой фигне, как
>  переключение на соседний скрин.

Вот это еще одна причина по которой нельзя пользоваться драйверами от
производителей оборудования. Они не умеют писать программы, так чтобы
оно не висло. Я лично всегда предпочитаю иметь меньше функциональности,
но чтобы работало гарантировано, чем рисковать из-за подвиса машины
потерять кусок сделанной работы.

-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120710134240.ga6...@wagner.pp.ru

NVidia (Re: Почему APT одновременно с linux-image не обновляет linux-headers?)

On Tue, Jul 10, 2012 at 11:34:13AM +0400, Victor Wagner wrote:
> Впрочем, я считаю что ни в коем случае нельзя использовать проприетарные
> драйвера NVidia. Есть nv, которому никакой DKMS   не нужен.

 А вот с этого места подробнее, pls. Расскажите мне, как правильно
 удержать xserver-xorg-video-nv на машине, если в апстриме его
 уже нет. Он у меня на одной машине сохранился, на остальных я
 прощёлкал клювом и пакет удалился при апдейтах. :( Приходится
 выбирать между nouveau и vesafb, у каждого свои тараканы по части
 разрешений, частот, глубины цвета и т.д.

 Я понимаю, что пакет можно прибить гвоздиками в пакетном менеджере.
 Но паровоз с апдейтами ведь бежит всё дальше и дальше... новые
 версии xorg'а уже не могут работать со старым nv_drv.so: не хватает
 каких-то so-шек, символы не резолвятся и т.п.

 И ещё. На одной машине стоит проприетарный драйвер от NVidia,
 он отличается тем, что иногда машину подвешивает -- намертво.
 Обычно на ютубовских роликах, но может и при такой фигне, как
 переключение на соседний скрин.

> А геммороя
> при регулярных апдейтах драйверов от использования проприетарных
> драйверов будет больше, чем выигрыша от предоставляемой ими
> дополнительной функциональности.

 С dkms апдейт сам по себе как раз никакого геморроя не доставляет,
 "но если б оно ещё работало!" (c)
-- 
 Eugene Berdnikov

-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120710131447.gp3...@sie.protva.ru

Re: a Xaw-like Gtk theme?

On Tue, Jul 10, 2012 at 11:57:24AM +0600, Sergej Kochnev wrote:
> On Mon, 09 Jul 2012 23:33:16 +0700
> Ivan Shmakov  wrote:
> 
> > > Ну, никто не обещал.
> >
> > Выходит, что правка ~/.Xresources для приложений на основе Xt и
> > Tk все же быстрее «для непосвященных», чем правка ~/.gtkrc-2.0?
> 
> Думаю, да. Для уверенной правки стилей GTK 2.0 нужно усвоить общую
> документацию, а потом специфические для конкретных движков параметры.

Окститесь, граждане... Правка ~/.Xresources всегда была делом
"посвящённых", а непосвящённые в основном копировали, что им
удавалось добыть от "гуру".

-- 
Stanislav


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120710122632.GA10364@kaiba.homelan

Re: Gtk themes

On Tue, Jul 10, 2012 at 05:57:41PM +0600, Sergej Kochnev wrote:
> On Tue, 10 Jul 2012 18:40:58 +0700
> Ivan Shmakov  wrote:
> 
> > Возможность «подключиться» к целевому приложению, изучить
> > иерархию элементов интерфейса, «на ходу» поменять параметры,
> > пожалуй, была бы удобна.  Увы, технология сия — прошлый век…
> 
> Технология есть: http://chipx86.github.com/gtkparasite/
> 
> Раньше модуль был в репозитории Debian, но куда-то пропал в нынешнем
> testing.
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=638178

-- 
WBR, wRAR


signature.asc
Description: Digital signature

Re: Gtk themes

2012-07-10 Пенетрантность Sergej Kochnev

On Tue, 10 Jul 2012 18:40:58 +0700
Ivan Shmakov  wrote:

> Возможность «подключиться» к целевому приложению, изучить
> иерархию элементов интерфейса, «на ходу» поменять параметры,
> пожалуй, была бы удобна.  Увы, технология сия — прошлый век…

Технология есть: http://chipx86.github.com/gtkparasite/

Раньше модуль был в репозитории Debian, но куда-то пропал в нынешнем
testing.

> Похоже на то.  Но необходимость править набор картинок при
> желании, e. g., сменить цвет рамок — настораживает.

Ну, тут либо одно, либо другое. Пишите свой движок, с плоскими
кнопками. Возможно, впрочем, что где-то такая возможность уже есть.
Например, в QtCurve (gtk2-engines-qtcurve).

-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: 
http://lists.debian.org/20120710175741.3fd7ca030e2ae536b5e1f...@yandex.ru

Gtk themes

> Sergej Kochnev  writes:
> Ivan Shmakov  wrote:

К вопросу о «темах» и предстоящем Дне свободы ПО.

Поскольку у многих «пользователей» система прочно ассоциируется
с внешним видом интерфейса (в полном соответствии с «Дорогой в
будущее»), возникла идея назначить в дисплейном классе — с
Debian Live — различные темы на различные машины.

Машин будет, надеюсь, около 20.

Какие темы имеет смысл использовать?

[…]

 >> Выходит, что правка ~/.Xresources для приложений на основе Xt и Tk
 >> все же быстрее «для непосвященных», чем правка ~/.gtkrc-2.0?

 > Думаю, да.  Для уверенной правки стилей GTK 2.0 нужно усвоить общую
 > документацию, а потом специфические для конкретных движков параметры.

ACK, благодарю.

Возможность «подключиться» к целевому приложению, изучить
иерархию элементов интерфейса, «на ходу» поменять параметры,
пожалуй, была бы удобна.  Увы, технология сия — прошлый век…

[…]

 >> А вот отключить рельеф у GtkButton — пока не удалось.  В частности,
 >> следующие варианты никак не влияют на внешний вид «кнопок»:

[…]

 >> Помогает указание нулевой ширины рамки:

 >> xthickness = 0
 >> ythickness = 0

 >> но рамка — без рельефа — мне как раз нужна.

 > IIRC, в GTK 2.0 это делается только с использованием картинок.  То
 > есть я не припомню, чтобы был движок с плоскими кнопками.

В [2] упоминается свойство «relief», но, по-видимому, свойство
это меняется в зависимости от состояния «кнопки» и не может быть
установлено через ~/.gtkrc-2.0.

[2] http://developer.gnome.org/gtk/unstable/GtkButton.html

[…]

 >>> Наугад могу предложить Black & White.

 >> Если речь о [1], то «не оно.»

 >> [1] http://gnome-look.org/content/show.php/Black%26White?content=117417

 > Нет, не оно.  Я немного ошибся, тема называется BlackWhite:
 > http://gnome-look.org/content/show.php/BlackWhite?content=68803
 > Вроде примерно соответствует запросу, поправить что-то на свой вкус
 > должно быть несложно.

Похоже на то.  Но необходимость править набор картинок при
желании, e. g., сменить цвет рамок — настораживает.

-- 
FSF associate member #7257  http://sf-day.org/

-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/86r4sj3ktx.fsf...@gray.siamics.net

xserver-xorg-video-vesa

> Andrey Rahmatullin  writes:
> On Tue, Jul 10, 2012 at 01:56:25PM +0400, Victor Wagner wrote:

  Впрочем, я считаю что ни в коем случае нельзя использовать
  проприетарные драйвера NVidia.

 >>> Последние лет десять я совершенно уверен, что ни в коем случае
 >>> нельзя использовать сами видеоадаптеры Nvidia.

 >>> На домашней машине — на той из них, на которой есть X-сервер — у
 >>> меня драйвер vesa, BTW.  На моих задачах проблем пока не было.

 >> У vesa помнится, есть некоторые проблемы с просмотром видео.  В
 >> смысле, авторы всяких программ для просмотра видео слишком
 >> закладываются на возможности видеооверлея, предоставляемые
 >> продвинутыми видеоадаптерами.

 > В "xterm, xclock, xeyes" просмотр видео не входит.

С одной стороны, xclock не нужна, поскольку есть date в xterm.

С другой стороны, существенная часть материалов на
http://coursera.org/ — именно видео.  (А то, что не видео, —
требует ECMAScript и в xterm тоже, к сожалению, не умещается.)

mplayer с vesa работает, BTW.  Равно как и Iceweasel.

-- 
FSF associate member #7257

-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/86wr2b3m71.fsf...@gray.siamics.net

Re: Почему APT одновременно с linux-image не обновляет linux-headers?

On Tue, Jul 10, 2012 at 01:56:25PM +0400, Victor Wagner wrote:
> >  > Впрочем, я считаю что ни в коем случае нельзя использовать
> >  > проприетарные драйвера NVidia.
> > 
> > Последние лет десять я совершенно уверен, что ни в коем случае
> > нельзя использовать сами видеоадаптеры Nvidia.
> > 
> > На домашней машине — на той из них, на которой есть X-сервер — у
> > меня драйвер vesa, BTW.  На моих задачах проблем пока не было.
> 
> У vesa помнится, есть некоторые проблемы с просмотром видео. В смысле,
> авторы всяких программ для просмотра видео слишком закладываются на
> возможности видеооверлея, предоставляемые продвинутыми видеоадаптерами.
В "xterm, xclock, xeyes" просмотр видео не входит.

-- 
WBR, wRAR


signature.asc
Description: Digital signature

Re: Почему APT одновременно с linux-image не обновляет linux-headers?

On 2012.07.10 at 15:51:22 +0700, Ivan Shmakov wrote:

> > Victor Wagner  writes:
> 
> 
>  > Впрочем, я считаю что ни в коем случае нельзя использовать
>  > проприетарные драйвера NVidia.
> 
>   Последние лет десять я совершенно уверен, что ни в коем случае
>   нельзя использовать сами видеоадаптеры Nvidia.
> 
>   На домашней машине — на той из них, на которой есть X-сервер — у
>   меня драйвер vesa, BTW.  На моих задачах проблем пока не было.

У vesa помнится, есть некоторые проблемы с просмотром видео. В смысле,
авторы всяких программ для просмотра видео слишком закладываются на
возможности видеооверлея, предоставляемые продвинутыми видеоадаптерами.


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120710095625.ga2...@wagner.pp.ru

Re: Почему APT одновременно с linux-image не обновляет linux-headers?

On Tue, Jul 10, 2012 at 11:50:41AM +0300, Andrey Tataranovich wrote:
> На Sid никто и никому ничего не обещает
Как и на смеси стейбла с тестингом.

> а если автор полез обновлять ядро, то пусть хотя бы осознает какие
> зависимости ему нужно обновить вместе с ядром и к чему это приведет.
Да, конечно. Причём неважно, на стейбле или на сиде.

-- 
WBR, wRAR


signature.asc
Description: Digital signature

Re: Почему APT одновременно с linux-image не обновляет linux-headers?

> Victor Wagner  writes:

[…]

 > И проблемы у автора исходного сообщения были с NVidia.  Ну очевидно
 > же, что X-ов на сервере быть не должно.

 > Впрочем, я считаю что ни в коем случае нельзя использовать
 > проприетарные драйвера NVidia.

Последние лет десять я совершенно уверен, что ни в коем случае
нельзя использовать сами видеоадаптеры Nvidia.

На домашней машине — на той из них, на которой есть X-сервер — у
меня драйвер vesa, BTW.  На моих задачах проблем пока не было.

[…]

-- 
FSF associate member #7257

-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/861ukk3sol@gray.siamics.net

Re: Почему APT одновременно с linux-image не обновляет linux-headers?

14:17 Tue 10 Jul, Andrey Rahmatullin wrote:
> On Tue, Jul 10, 2012 at 12:28:59AM +0300, Andrey Tataranovich wrote:
> > > > > > > > Сегодня пришло обновление для ядра. Обновил. Вместе с остальными
> > > > > > > > пакетами. вновь включив компьютер, увидел консоль в tty1. Уже 
> > > > > > > > решив
> > > > > > > > курить логи, вспомнил подобные случаи: установка нового пакета
> > > > > > > > linux-image-xx+1 без пакета linux-headers-xx+1
> > > > > > > > (linux-image-3.2.0-3-amd64 без linux-headers-3.2.0-3-amd64).
> > > > > > > > Приходится отдельно писать sudo apt-get install
> > > > > > > > linux-headers-3.2.0-3-amd64, поскольку без этого не собиратеся
> > > > > > > > nvidia-kernel-dkms. Надоело, ибо уже в третий раз, если не 
> > > > > > > > чаще. Как
> > > > > > > > это автоматизировать?
> > > > > > > apt-get dist-upgrade
> > > > > > Без настройки APT Pinning это вредный совет. Скорее всего у 
> > > > > > топикстартера
> > > > > > только часть пакетов из testing.
> > > > > Часть? Тестинг? Где это вообще видно в исходном письме?
> > > >
> > > > Чукча не читатель, чукча писатель?
> > > Нет ты.
> > >
> > > > Посмотри на версию ядра (linux-image-3.2.0-3-amd64) оно как раз в 
> > > > тестинг
> > > > c неделю назад приплыло
> > > Первую строчку исходного письма прочитайте.
> > И что мне там узреть, о мудрейший?!
> > 
> > Это можно интерпретировать как "я сегодня запустил aptitude safe-upgrade" 
> > или
> > "я сегодня заметил заметил нотификацию в update-manager".
> Это точно так же могло произойти на чистом сиде.

На Sid никто и никому ничего не обещает, а если автор полез обновлять ядро, то 
пусть
хотя бы осознает какие зависимости ему нужно обновить вместе с ядром и к чему 
это
приведет. А вообще выстрелить себе в ногу можно и на stable, вот только немного 
сложнее.

> > > > а тот факт, что хедеры не обновились сами означает, что либо пиннинг 
> > > > кривой, либо система смешанная.
> > > Либо что ядро обновляли руками.
> > Намек на apt-get install linux-image-3.2.0-3-amd64?
> НАМЁК??

Повесь себе медальку: -=Почетный Телепат=-

-- 
WBR, Andrey Tataranovich


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120710085041.gl16...@debbox.it

racoon\xl2tpd + win7, нестабильность туннеля

2012-07-10 Пенетрантность web.tyoma

Добрый день.

Настроил ipsec\l2tp сервер. Цель работы сервера: пускать сотрудников на
выезде в офисную сеть.

Соединение проходит нормально. Далее для теста перекачиваю большой файл по
FTP. Поймал несколько проблем.

1) После 3-5 секунд нормальной закачки в логи вываливается сообщение:

Jul 9 11:27:10 vpn racoon: DEBUG: KA:
192.168.1.110[4500]->xx.xx.xx.xx[4500]

Jul 9 11:27:10 vpn racoon: DEBUG: sockname 192.168.1.110[4500]

Jul 9 11:27:10 vpn racoon: DEBUG: send packet from 192.168.1.110[4500]

Jul 9 11:27:10 vpn racoon: DEBUG: send packet to xx.xx.xx.xx[4500]

Jul 9 11:27:10 vpn racoon: DEBUG: src4 192.168.1.110[4500]

Jul 9 11:27:10 vpn racoon: DEBUG: dst4 xx.xx.xx.xx[4500]

Jul 9 11:27:10 vpn racoon: DEBUG: 1 times of 1 bytes message will be sent
to xx.xx.xx.xx[4500]

Jul 9 11:27:10 vpn racoon: DEBUG: #012ff

И передача виснет наглухо. Потом xl2tpd ругается на таймауты и убивал
туннель.

Отключил keep-alive с помощью "natt-keepalive = 0 sec;". После этого
непрерывная нормальная работа увеличилась до 3-5 минут. По истечении этого
времени в логах появляется такое:

Jul 9 18:29:59 vpn racoon: INFO: respond new phase 2 negotiation:
192.168.1.110[4500]<=>xx.xx.xx.xx[56265]

Jul 9 18:29:59 vpn racoon: INFO: Adjusting my encmode
UDP-Transport->Transport

Jul 9 18:29:59 vpn racoon: INFO: Adjusting peer's encmode
UDP-Transport(4)->Transport(2)

Jul 9 18:29:59 vpn racoon: INFO: purged IPsec-SA proto_id=ESP
spi=2834276621.

Jul 9 18:30:29 vpn racoon: ERROR: xx.xx.xx.xx give up to get IPsec-SA due
to time up to wait.

После этого с вероятностью 0.5 связь либо подыхает совсем, либо висела 5-10
секунд, после чего без доп. сообщений в логах восстанавливалась.

Клиент за натом домашнего роутреа. Сервер тоже за натом с проброшенными
портами 500, 4500 и 1701. Нат на простом WiFi роутере (Zyxel Keenetic).

Пробовал клиента с прямым IP, тоже самое. Вывести сервер за NAT пока не
могу, нужен инет без перебоев. На выходных попробую.

Всё это добро работает как Xen DomU. DomU бриджем подключён к офисной сети
192.168.1.0/24. L2tp выдаёт адрес из той же подсети.

Если скорость ограничить в FTP клиенте, то баги возникают, но позже.

Вопросы. Почему keep-alive убивает связь? Из-за чего может посреди работы
возникать опять фаза 2, и почему оно так же может убить тунель? Есть ли
вообще рабочие конфигурации Win7 + linux ipsec\l2tp server, в которых винда
может быть за натом?

Racoon.conf: http://paste.org.ru/?27lzaz

Setkey.conf: http://paste.org.ru/?sz8uov

Xl2tpd.conf: http://paste.org.ru/?aaayia

Options.xl2tp: http://paste.org.ru/?j55qpk

Debian squeeze

Linux 2.6.32-5-xen-amd64

ipsec-tools 0.7.3-12

xl2tpd 1.2.7+dfsg-1

С уважением,

Артём Попов.

Re: Почему APT одновременно с linux-image не обновляет linux-headers?

On Tue, Jul 10, 2012 at 11:34:13AM +0400, Victor Wagner wrote:
> Впрочем, я считаю что ни в коем случае нельзя использовать проприетарные
> драйвера NVidia. Есть nv, которому никакой DKMS   не нужен. А геммороя
> при регулярных апдейтах драйверов от использования проприетарных
> драйверов будет больше, чем выигрыша от предоставляемой ими
> дополнительной функциональности.
Рассказывайте нам, рассказывайте.

-- 
WBR, wRAR


signature.asc
Description: Digital signature

Re: Почему APT одновременно с linux-image не обновляет linux-headers?

On Tue, Jul 10, 2012 at 12:28:59AM +0300, Andrey Tataranovich wrote:
> > > > > > > Сегодня пришло обновление для ядра. Обновил. Вместе с остальными
> > > > > > > пакетами. вновь включив компьютер, увидел консоль в tty1. Уже 
> > > > > > > решив
> > > > > > > курить логи, вспомнил подобные случаи: установка нового пакета
> > > > > > > linux-image-xx+1 без пакета linux-headers-xx+1
> > > > > > > (linux-image-3.2.0-3-amd64 без linux-headers-3.2.0-3-amd64).
> > > > > > > Приходится отдельно писать sudo apt-get install
> > > > > > > linux-headers-3.2.0-3-amd64, поскольку без этого не собиратеся
> > > > > > > nvidia-kernel-dkms. Надоело, ибо уже в третий раз, если не чаще. 
> > > > > > > Как
> > > > > > > это автоматизировать?
> > > > > > apt-get dist-upgrade
> > > > > Без настройки APT Pinning это вредный совет. Скорее всего у 
> > > > > топикстартера
> > > > > только часть пакетов из testing.
> > > > Часть? Тестинг? Где это вообще видно в исходном письме?
> > >
> > > Чукча не читатель, чукча писатель?
> > Нет ты.
> >
> > > Посмотри на версию ядра (linux-image-3.2.0-3-amd64) оно как раз в тестинг
> > > c неделю назад приплыло
> > Первую строчку исходного письма прочитайте.
> И что мне там узреть, о мудрейший?!
> 
> Это можно интерпретировать как "я сегодня запустил aptitude safe-upgrade" или
> "я сегодня заметил заметил нотификацию в update-manager".
Это точно так же могло произойти на чистом сиде.

> > > а тот факт, что хедеры не обновились сами означает, что либо пиннинг 
> > > кривой, либо система смешанная.
> > Либо что ядро обновляли руками.
> Намек на apt-get install linux-image-3.2.0-3-amd64?
НАМЁК??

-- 
WBR, wRAR


signature.asc
Description: Digital signature

Re: Почему APT одновременно с linux-image не обновляет linux-headers?