LINUX.ORG.RU

Сообщения mobocat

 

как настроить шрифты для Web в GNOME 3.10?

Приветствую. Вопрос такой: как заставить Web на Github-е использовать нормальные шрифты? Он почему-то использует bitmap-шрифт из X11, который называется Clean. И всё выглядит вот так вот:

http://0xfb.imm.uran.ru/tmp/shot.png

Однажды я находил решение этой проблемы, но забыл комбинацию ключевых слов для поиска. Вот что у меня в /etc/fonts/conf.d

ls /etc/fonts/conf.d/ 
10-scale-bitmap-fonts.conf             57-dejavu-sans.conf
20-unhint-small-dejavu-sans.conf       57-dejavu-sans-mono.conf
20-unhint-small-dejavu-sans-mono.conf  57-dejavu-serif.conf
20-unhint-small-dejavu-serif.conf      60-latin.conf
20-unhint-small-vera.conf              65-fonts-persian.conf
30-metric-aliases.conf                 65-nonlatin.conf
30-urw-aliases.conf                    69-unifont.conf
40-nonlatin.conf                       70-no-bitmaps.conf
45-latin.conf                          80-delicious.conf
49-sansserif.conf                      90-synthetic.conf
50-user.conf                           README
51-local.conf

- МБ. С благодарностью за ответы

 , , ,

mobocat
()

Как на практике используются неподвижные точки и семантические домены?

Прочёл я несколько тем в этом форуме, и осознал, что люди тут, насколько я могу судить, знающие. В том числе и теорию. Поэтому и захотелось спросить следующее.

Вот осилил я тексты о семантических доменах, о рекурсии, как о поиске неподвижной точки, и всё такое прочее.

Но вот вообще, никак до меня не доходит, а как из этого всего получается язык программирования? Вроде как, компьютер же не умеет бесконечными структурами оперировать. Так как в том же Haskell представляются какие-нибудь типы, вроде tree a = nothing | node (tree a) a (tree a)? И как он с ними работает? Решением, ведь, такого уравнения является бесконечная структура. Как-то мне кажется очень сомнительным, что Haskell здесь считает неподвижные точки.

Есть что почитать на этот счёт? (Исходники Haskell не предлагать, к сожалению, я в них мало чего понимаю).

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

Можно ли и про это что-то почитать?

Заранее благодарю за ответы.

 fixed points, semantic domains,

mobocat
()

Как запустить GNOME в wayland варианте

Привет, народ. Может, кто сталкивался и может помочь. В Arch появилась поддержка wayland в GNOME. По крайней мере, мамочка (mutter) его поддерживает. Но чего-то ни один рецепт запуска вот отсюда https://wiki.gnome.org/Wayland/TryingIt не работает. В каком направлении это всё надо копать?

Заранее спасибо за советы.

 , ,

mobocat
()

RSS подписка на новые темы