126 reputation
4
bio website vainolo.com
location Israel
age
visits member for 2 years, 2 months
seen May 8 '13 at 11:18

PhD student studying (or more correctly, defining and implementing) the executable semantics of OPM for software systems. Most of my programming work is in Java, with some experience with Ada83, C, C++, Lisp, Perl, Ruby, and others.


Apr
28
awarded  Popular Question
Jan
15
awarded  Commentator
Jan
15
comment Local disc copy at 10MB/s! What could be the problem?
Not that I am aware of... Any pointers how to check?
Jan
14
revised Local disc copy at 10MB/s! What could be the problem?
Added iostat results
Dec
24
comment Local disc copy at 10MB/s! What could be the problem?
@gertvdijk see my update in the question. Do you want me to run iostat when I'm copying something? because on idle it just gives me zeroes most of the time
Dec
24
revised Local disc copy at 10MB/s! What could be the problem?
added 237 characters in body
Dec
23
asked Local disc copy at 10MB/s! What could be the problem?
Feb
4
comment Is there a way to control the mouse wheel resolution in Debian?
Why didn't I try this before. Yes, the mouse now scrolls normally. And the funny thing is that I returned it to the KVM and it also works OK. running xinit list shows that now the KVM before the transceiver and not after it. Weird... But thanks anyway.
Feb
2
comment Is there a way to control the mouse wheel resolution in Debian?
Not much. Thanks for the help anyhow.
Feb
2
comment Is there a way to control the mouse wheel resolution in Debian?
Nothing happened :-(
Feb
1
comment Is there a way to control the mouse wheel resolution in Debian?
I updated the question with the output
Feb
1
revised Is there a way to control the mouse wheel resolution in Debian?
added 936 characters in body
Feb
1
awarded  Editor
Feb
1
revised Is there a way to control the mouse wheel resolution in Debian?
added 936 characters in body
Feb
1
comment Is there a way to control the mouse wheel resolution in Debian?
Thanks for the answer. I found my input device (9) and did xinput test 9. Scrolling up one click on the wheel gives button press 4 16 times, scrolling down one click gives button press 5 16 times. But when I look at xinput list-props 9 there is entry with a value 16. I tried changing Wheel Emulation Inertia but nothing changed. There are no other parameters that seem to be of help (haven't tried others anyhow). Do I have to restart X for the changes to take place? Any other places where I can search?
Jan
31
comment Is there a way to control the mouse wheel resolution in Debian?
Thanks... but how would that help?
Jan
30
comment Is there a way to control the mouse wheel resolution in Debian?
I am using Gnome 2.30.2
Jan
30
awarded  Student
Jan
30
asked Is there a way to control the mouse wheel resolution in Debian?