I have to pointer devices (mouse and touchscreen). Their devices are
/dev/input/mouse1, also they are combined into one on device
/dev/input/mice. I want my system to separate those devices. I was trying to edit my xorg.conf file, by changing this line in mouse input device section:
Option "Device" "/dev/input/mice"
Option "Device" "/dev/input/mouse1"
and then reloading Gnome Display Manager:
service gdm restart
After this, system behaves like nothing happened. I am certain that xorg.conf is read on restart - if I write some rubbish into it (change identifier, for example) gdm fails to start. But all other edits have no effect - I event tried to delete the line which specified the device, and nothing happened.
What can cause such behavior? And how can I fix it?
Mouse input device section in xorg.conf:
Section "InputDevice" Identifier "Mouse0" Driver "mouse" Option "Device" "/dev/input/mice" # tried removing this line, nothing happens Option "Protocol" "auto" Option "ZAxisMapping" "4 5 6 7" EndSection