#1 2019-08-11 12:43:42

malm

jgmenu developer

Registered: 2016-10-13

Posts: 587

Website

xbindkeys pipemenu

Just a thought - would we want a pipemenu for xbindkeys?

#!/bin/bash

mapfile -t lines <"$HOME/.xbindkeysrc"

for i in "${!lines[@]}"; do

	# Look for the lines that begin with double quote
	[[ ${lines[i]} == \"* ]] || continue

	# Print the comment which @johnraff has helpfully added before
	# as well as the actual keybinding on the following line
	printf '%s\n' "${lines[i-1]/\# /}	${lines[i+1]/    /}"

done

johnraff

nullglob

From: Nagoya, Japan

Registered: 2015-09-09

Posts: 6,553

Website

Re: xbindkeys pipemenu

^Looks ideal.
Added to ToDo list - thanks!

---

...elevator in the Brain Hotel, broken down but just as well...
( a boring Japan blog (currently paused), idle Twitterings and GitStuff )

Introduction to the Bunsenlabs Lithium Desktop

brontosaurusrex

Middle Office

Registered: 2015-09-29

Posts: 2,013

Website

Re: xbindkeys pipemenu

@malm, What/Where is 'mapfile'?

malm

jgmenu developer

Registered: 2016-10-13

Posts: 587

Website

Re: xbindkeys pipemenu

@brontosaurusrex
It's a bash builtin which reads a file into an array.
See Bash-Builtins.html

It's fast and clean

brontosaurusrex

Middle Office

Registered: 2015-09-29

Posts: 2,013

Website

Re: xbindkeys pipemenu

Thanks ^.