186 reputation
2
bio website
location
age
visits member for 1 year, 6 months
seen Dec 19 '13 at 1:46

Apr
18
answered Delete files with 2 separators
Apr
7
comment Upgraded to 12.10, and now most of my installed GNOME Shell extensions are “outdated”
You are right, it would. I do notice that restarting fails inexplicably sometimes where a logout/login does not. Still, restarting alone should suffice.
Apr
3
answered Upgraded to 12.10, and now most of my installed GNOME Shell extensions are “outdated”
Mar
21
awarded  Supporter
Mar
14
answered How to port the bash settings?
Mar
11
awarded  Teacher
Mar
11
answered How can I run a single C source code on code:block or in geany?