El ratón que utilizo es un Logitech Cordless MouseMan Optical y estoy muy contento con él, porque lo tengo desde hace 5 años y es muy cómodo, y no consume tantas pilas como pensé en un principio (2 pilas cada 3 meses).

El ratón, a parte de los 2 botones y la rueda, tiene otro en el lateral para el dedo pulgar.

Pues el otro día me propuse hacer funcionar el botón lateral en Linux, y después de buscar un poco encontré la solución. Hay que modificar la configuración del ratón del fichero xorg.conf:

Section "InputDevice"
Identifier      "Configured Mouse"
Driver          "mouse"
Option          "CorePointer"
Option          "Device"                "/dev/input/mice"
Option          "Protocol"              "ExplorerPS/2"
Option          "ZAxisMapping"       "4 5"
Option          "ButtonMapping"     "1 2 3 6"
Option          "Buttons"               "6"
Option          "Emulate3Buttons"   "on"
EndSection

Con esta configuración, el botón lateral servirá para ir a la página anterior en el Mozilla Firefox.