> In association to that, how eager are we to switch this function to
> /bin/dash?
> IMHO the only zsh-feature used is `repeat 15 echo -n' which can easily
> be substituted by a for-loop in dash.
And afaics, that's not even nessecary.
,----[ man 5 keymaps ]-
| If you enter a key definition line with only and exactly one
| action code after the equals sign, it has a special meaning. If
| the code (numeric or symbolic) is not an ASCII letter, it means
| the code is implicitly replicated through all columns being
| defined.
`---- |