给 Garfileo 留言

登录 *


loading captcha image...
(输入验证码)
or Ctrl+Enter

20
[回复]
吴隐隐 说:
2016年5月24日 15:05

明知废墟 还是突然想到留点什么

19
[回复]
Avatar_small
小马 说:
2013年8月21日 21:58

看了您的X Window 的 OpenGL 扩展 —— GLX,请教下glx能实现全屏吗?
我的项目要求opengl绘图的画面全屏化,不能有窗口样式,有偿求助,十万火急.可用短信交流.电话15862329626

18
[回复]
RomeaWong 说:
2013年5月23日 21:24

对conTeXt很感兴趣，按照你的文章很快就能够处理一般的文档。但想知道Emacs你是怎么配置的，才能让他对tex文件进行编译呢？
我看到这个旧的帖子，但不行
http://bbs.ctex.org/forum.php?mod=viewthread&tid=53547

按AUCTEX手册，我加上了如下语句，但还是不行，求教。
(eval-after-load"tex"
'(add-to-list 'TeX-command-list '("ConTeXt MKVII" "d:/context/tex/texmf-mswin/bin/context.exe" TeX-run-command t t :help "Run context MKVII")t ))

17
[回复]
Avatar_small
Garfileo 说:
2012年7月20日 07:37

@uulinux: 我的邮箱 liyanrui.m2@gmail.com，抓个图发给我看看吧。不一定能帮的上，我好久没用 graphviz 了

16
[回复]
uulinux 说:
2012年7月20日 07:28

兄弟，最初是通过搜索Dot画图来到你的博客的。后来整体看了你的博客觉得，很不错。但是没有找到的你的e-mail。只能在这里给你留言，请教了……还望你多多包涵，不吝赐教……
我想用dot画一个如下的图：
-------------->
+-------------+
| Global +
+-------------+
我想了好久没有想出怎么画出来的。但是有一本上有这样的图，而且作者声明过所有的图都是用graphViz画出来的。还想求你能不能帮忙指点一下。因为我也想画一个这样的图。

15
[回复]
Avatar_small
依云 说:
2012年4月16日 20:12

那个 Either，我发现即使是 Monad 的实例，我也把它没办法，因为我不知道怎么把一个列表的函数逐个应用过去，就是 and 那样子的。所以还是自己实现了个。代码已更新，文章待会再写，先休息下。。

14
[回复]
Avatar_small
Garfileo 说:
2012年4月16日 19:15

@依云: 惰性那个，我一直都没用过 locate，机器上连这个命令都没有，我个有点想当然了。你实现了之后，发个文我学习一下 :)

13
[回复]
Avatar_small
Garfileo 说:
2012年4月16日 19:10

@依云: import Control.Monad.Instances 之后就可以得到 Either 的 Monad 类型类的实现。

12
[回复]
Avatar_small
依云 说:
2012年4月16日 18:59

啊，看了 process 的源码我明白了，原来是要关闭文件描述符，所以得 strict。。。

11
[回复]
Avatar_small
依云 说:
2012年4月16日 18:51

「I guess people who want laziness can implement it themselves directly, taking care to get whatever laziness it is that they want.」（http://comments.gmane.org/gmane.comp.lang.haskell.libraries/8931）
OK, I'll try....

10
[回复]
Avatar_small
依云 说:
2012年4月16日 18:46

locate 是一边找一边输出数据的，不然我也不会注意到差别。
我试过 >>= 了，结果是：
No instance for (Monad (Either String))
arising from a use of `>>='
http://p.vim-cn.com/cC6/hs

9
[回复]
Avatar_small
Garfileo 说:
2012年4月16日 16:14

@依云: Either 类型是一种单子，理论上只要是返回单子类型的函数都可以用 >= 或 do 块串起来。不过我不是太清楚 Either 类型的 >= 实现对于 Left 分支是不是也像 Maybe 类型那样遇到 Nothing 则短路。

至于惰性的问题，我了解的很有限。考虑到 locate 是一个进程，它不是只能在运行结束时才输出信数据么，然后你的 transfrom 函数才接到数据。感觉这样很自然啊。

8
[回复]
Avatar_small
依云 说:
2012年4月16日 15:44

我想了下，似乎可以写出更通用的函数来——它去掉一个字符串的特定前缀，如果成功返回「Right 结果字符串」，否则返回「Left 原字符串」。但是，怎么把一堆这样的函数串起来，使得遇到第一个 Right 结果时即结果否则继续应用下一个函数呢？

另外，我那个程序似乎不是 lazy 的，等 locate 命令运行完毕后才会开始输出？

7
[回复]
Avatar_small
Garfileo 说:
2012年4月16日 08:21

@依云: 这样可以么 http://garfileo.is-programmer.com/posts/33064.html

 

6
[回复]
Avatar_small
依云 说:
2012年4月16日 01:51

Gerfileo, 又来打扰你了 :-)
我这里这个函数有重复操作，怎么改进下呢？ https://github.com/lilydjwg/myhaskells/blob/master/locatewrapper/LocateMapper.hs#L20

5
[回复]
Avatar_small
Garfileo 说:
2012年1月14日 15:12

@yyc:

> 但是所有的窗口信息都保存在server上啊, 一个新的server不可能知道原来的server上面有人建了什么窗口啊.

实现一个 server 将自己保管的信息传递给另一个 server，应该不是很么难事。

至于另外那两个问题，我觉得就没有讨论的必要了，Wayland 的使命就是要结束它们。

4
[回复]
yyc 说:
2012年1月14日 12:48

@Garfileo:

> 应该是这样。但是由于 X11 可以运行在 Wayland 的 Server 上，所以单独的 CM 与不含合成特效的 WM 也还是可以协同工作，前提是机器要首先能运行得起来 Wayland Server。

不过这样的CM就仅仅能渲染X的那部分了~~因为根窗口(如果Wayland里面也叫这个名字的话)不属于X啊

> 理论上是可以简单切换的，因为 Wayland 只是一个协议，按照这个协议实现的 Server 端，应该可以简单切换。

但是所有的窗口信息都保存在server上啊, 一个新的server不可能知道原来的server上面有人建了什么窗口啊.

> 嗯，这个是肯定的。X11 的 Server 崩掉，不也是这样么。

但是server和wm分开的话崩溃的可能性肯定会低啊, wm/cm的插件/配置啥的肯定要比(X)server的复杂/丰富程度大的多啊.
虽然wm/cm崩溃现在遇到的也不多(连续开机几个星期也就在干了什么奇怪的事情的时候可能崩溃) 不过即使是这个频率换到X上也让人受不了啊 (而且给gnome3.0写扩展的时候有时候会一天重启gnome-shell几次, 这要是X的话就要疯了啊)

P.S. 留言回复没有邮件提示??

3
[回复]
Avatar_small
Garfileo 说:
2012年1月13日 21:58

@yyc:

> 1, 不可能有单独的cm与不含混成特效的wm协同工作了

应该是这样。但是由于 X11 可以运行在 Wayland 的 Server 上，所以单独的 CM 与不含合成特效的 WM 也还是可以协同工作，前提是机器要首先能运行得起来 Wayland Server。

> 2, 不能简单的切换wm

理论上是可以简单切换的，因为 Wayland 只是一个协议，按照这个协议实现的 Server 端，应该可以简单切换。

> 3, 如果wm由于自身的一点小错误崩溃掉, 那么整个图形界面(或者至少当前的会话)就需要重启?

嗯，这个是肯定的。X11 的 Server 崩掉，不也是这样么。

2
[回复]
Avatar_small
Garfileo 说:
2012年1月13日 21:44

@ManateeLazyCat: 我的邮箱是 liyanrui.m2@gmail.com，另外上次你给我留言的时候，我也没找到你的邮箱地址，所以没有回复，很抱歉.

Clutter 提供了 clutter_box_layout_set_spacing 函数，它应该可以控制各项间距。

1
[回复]
yyc 说:
2012年1月13日 18:33

再请教一个关于Wayland的小问题(终于决定不在那篇文章的回复里面发了)

wayland将CM和WM集成到服务端是不是就说明:
1, 不可能有单独的cm与不含混成特效的wm协同工作了
2, 不能简单的切换wm
3, 如果wm由于自身的一点小错误崩溃掉, 那么整个图形界面(或者至少当前的会话)就需要重启? (虽然wm出错的可能性没那么大, 但是如果wm/cm支持插件的话(好像一般的cm都带插件), 有个什么段错误啥的还是可以理解的)