เร่งความเร็วล้อเลื่อนของเมาส์ใน Ubuntu 18.04

ฉันพบว่าฉันต้องเลื่อนมากเพื่อย้ายข้อความในหน้าของฉันเทียบกับ Windows ที่ฉันสามารถเลือกความเร็วของล้อเลื่อนของเมาส์ได้

Ubuntu มียูทิลิตีที่คล้ายกันหรือไม่และฉันจะเข้าถึงได้อย่างไร?

วิธีนี้ใช้ได้กับฉันกับ Ubuntu 18.04:

http://www.webupd8.org/2015/12/how-to-change-mouse-scroll-wheel-speed.html

sudo apt-get install imwheel   
cat > ~/.imwheelrc
".*"
None,      Up,   Button4, 8
None,      Down, Button5, 8
Control_L, Up,   Control_L|Button4
Control_L, Down, Control_L|Button5
Shift_L,   Up,   Shift_L|Button4
Shift_L,   Down, Shift_L|Button5

( 8ในตอนท้ายของบรรทัดที่สองและสามคือหมายเลขการเร่งความเร็ว3เป็นค่าเริ่มต้น)

จากนั้นเพิ่มimwheel --kill --buttons "4 5"เป็นแอปพลิเคชันเริ่มต้น:

อาจดูเหมือนชัดเจน แต่ก็มีความเป็นไปได้ที่จะเพิ่มการเลื่อนแบบต่อแอพพลิเคชั่นซึ่งอาจเป็นสิ่งที่คุณต้องการ

ไม่สามารถแสดงความคิดเห็น (มีเพียง 31 จาก 50 ชื่อเสียงที่จำเป็น) ดังนั้นฉันต้องเขียนคำตอบนี้:

imwheel ใช้ได้กับ Ubuntu 16.04 แต่คำตอบข้างต้นจะทำลาย Ctrl + Mousewheel จากการย่อ / ขยายข้อความซึ่งสำหรับเราบางคนใช้กันทั่วไป

การแก้ปัญหาคือการให้มันสำหรับทั้งสองปุ่ม Ctrl:

".+"
    @Exclude

".*chrome.*"
    @Priority=100
    None,      Up,   Button4, 3
    None,      Down, Button5, 3
    Shift_L,   Up,   Shift_L|Button4
    Shift_L,   Down, Shift_L|Button5
    Shift_R,   Up,   Shift_R|Button4
    Shift_R,   Down, Shift_r|Button5
    Control_L, Up,   Control_L|Button4
    Control_L, Down, Control_L|Button5
    Control_R, Up,   Control_R|Button4
    Control_R, Down, Control_R|Button5

Excludeส่วนเป็นสิ่งจำเป็นเพื่อที่จะไม่ส่งผลกระทบปพลิเคชันอื่น ๆ (ความคิดว่าทำไมมันจะ แต่มันไม่)