Numberwang: easily copy file names from shell command output
github.com