while read -r line ; do
key="${line%=*}"
[[ "${key}" != k* ]] && continue
- seq="$(print "${line#*=}")"
+ seq="$(print -r -- "${line#*=}" | sed -e 's,\\\([1-7][0-7]*\),\\0\1,g')"
+ seq="$(print "${seq}")"
case "$key" in
key_left) bind "${seq}"='backward-char' ;;
key_right) bind "${seq}"='forward-char' ;;