是 thinkpad 13 ，
在 windows 下可以用 lenovo 附的驱动调整，
但在 linux 下会变很慢，
（我是 debian ，试了 ubuntu live cd 也差不多。）
如果是用 libinput 当驱动，可以调的区间只有 ±1 ，
就算调到 +1 还是很慢。
google 很多解法都是设定
/sys/devices/platform/i8042/serio?/sensitivity ，
但我的 serio0 serio1 都没有这个档案。
reddit 一个解法是改用 evdev 当驱动，
之后就能调速度的 Scale 。
我的 configure 如下：
```
Section "InputClass"
Identifier "effecient red point"
MatchProduct "TrackPoint"
# see evdev(4) man-page
Driver "evdev"
Option "EmulateWheel" "1"
Option "EmulateWheelButton" "2"
# map horizental scroll
Option "XAxisMapping" "6 7"
Option "VertScrollDelta" "2"
Option "HorizScrollDelta" "4"
# see xorg.conf(5) map-page for detail
# 4 mean simple acceleration profile
Option "AccelerationProfile" "4"
# 0.2 mean speed / 0.2, about 3 times speed.
Option "ConstantDeceleration" "0.2"
Option "AccelerationDenominator" "5"
EndSection
```
https://github.com/GHolk/loco/blob/master/evdev-trackpoint-gholk.conf
这档案可以放在 /etc/X11/xorg.conf.d/ 。
主要是 ConstantDeceleration 属性，
设超过 1 就是变慢，小于 1 就是变快。
但有个问题，如果设太小分辨率会变差，
动起来会一格一格的。
目前就还想设更快，但分辨率会太差，
有时会按不到想按的图示。
但如果在 windows 下就没这个问题，
设再快都不会掉分辨率。
还有件蛮神奇的事，
就是在 windows 下重新开机，
回到 debian 后小红点会突然变快，
和在 windows 时同等级。
但如果断电后再开，也就是关机后再按开机，
就会又变回慢速。
不知道有没有人在 linux 下可以正常使用小红点的？