196 reputation
17
bio website gitorious.org/…
location
age
visits member for 2 years, 6 months
seen Jul 1 at 1:08

I'm the author of "at-home-modifier" hack for Linux, which enables "space shift dual role key", for example. Read "README" for more.

I was also a developer of Sawfish window manager.


Oct
29
awarded  Necromancer
Sep
24
awarded  Autobiographer
Jun
24
awarded  Popular Question
May
25
comment In Linux, how can I map SHIFT_L/SHIFT_R when pressed without additional key?
It's almost duplicate to this question. =)
Mar
24
answered Linewrap in Org-mode of Emacs?
Jan
3
comment In Xorg fontconfig, why two font caches, /var/cache and $HOME? Possible to get rid of the latter?
Probably you're right, but all caches in my ~/.fontconfig are for fonts in /usr/share/fonts. This design does not seem reasonable at all. (Many duplicates will exist if there're many users.)
Jan
3
revised In Xorg fontconfig, why two font caches, /var/cache and $HOME? Possible to get rid of the latter?
Change Linux -> Xorg (fontconfig is not limited to Linux)
Jan
3
asked In Xorg fontconfig, why two font caches, /var/cache and $HOME? Possible to get rid of the latter?
Oct
14
comment Is the safety of Linux binary packages guaranteed?
@Tom Thanks. Your comments to others exactly clarified what I asked. It's an important point, and serious intellectual efforts to improve the situation are desired (and they'll really deserve respect). But most didn't understand (wow!), and they closed this question.
Oct
12
asked Is the safety of Linux binary packages guaranteed?
Jul
28
answered Wait on a forked process from a script
Jul
28
answered execute command after process terminates in different shell
May
30
answered How to find the uptime since last wake from standby
May
30
awarded  Supporter
May
30
suggested suggested edit on Linux: Getting date & time of system startup
May
30
suggested suggested edit on Linux: Getting date & time of system startup
May
17
awarded  Teacher
May
11
revised Linux: Getting date & time of system startup
Added info on /proc and /sys
May
11
awarded  Editor
May
11
revised Linux: Getting date & time of system startup
Minor improvements; mentioned s2ram / s2disk