估计 KDE 用户碰到这个问题的概率比较高。这个问题的起因不明，症状是要删除文件时出现 The trash has reached its maximum size! Cleanup the trash manually. 检查垃圾箱里没有东西，却无法删除文件进垃圾箱。直接删除操作不受影响。 问题的直接原因是 Trash 的 metadata 有误，解决办法是把 $HOME/.local/share/Trash 直接删掉，然后执行一下 Empty Trash 操作（其实是让 Trash 重建 metadata），以后就正常了。
Day: February 10, 2011
Learned something basic
今天又长知识了。 首先，最简单的，更正了长久以来的想当然，php 下 explode(‘,’, ”) != array()，而是得到长度为 1 的数组，key 是数值 0，value 是空字符串。天哪，我有多少个程序是基于 explode(‘,’, ”) == array() 写下去的，这下影响大了，得好好查一查。 其次，发现一个不晓得是 sshfs 的 bug 还是 gedit 的 bug。复制错误的过程是：用 Nautilus 或 Dolphin 打开 sshfs 挂载的目录，右击创建一个新文件。文件创建是成功的，属性是 774，用 gedit 打开它却无法保存，提示是没有写权限；但用 kwrite 编辑保存一切正常；用 gedit 再编辑 kwrite 编辑过的文件又能保存。或者，在右击创建一个新文件后，执行一次 chmod 774 filename，也能用 gedit 编辑保存了。 再次，发现在 IE6 下，用 javascript 增大元素的尺寸（比如 jQuery widget 化，增加 border，增加 padding，等），会增大父元素的尺寸。哪怕父元素已用… Continue reading Learned something basic