#!/usr/bin/env zsh # for external TEX keyboard #export EXT_POINTER=$(xinput list | grep "USB-HID Keyboard" | grep pointer | awk -F'=' '{print $2}' | cut -f 1) if [[ $(hostname) == "bogues" ]]; then export EXT_POINTER=$(xinput list | grep "TPPS/2 IBM TrackPoint" | grep pointer | awk -F'=' '{print $2}' | cut -f 1) xinput set-prop $EXT_POINTER $(xinput list-props $EXT_POINTER | grep "libinput Accel Speed (" | awk -F '[()]' '{print $2}') 0.1 fi