On 2015-09-02, Nicolas George <[email protected]> wrote:
>
> For me, Ctrl-AltGr-) gives ^] as expected, both with XTerm and the
> Linux console.

Me too. 

Reply via email to