是 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 下可以正常使用小紅點的？