[SOLVED] Not able to activate reduce mode on German Keyboard

[ufechner7]

A German Keyboard does not have a ] key. <altgr>+<9> must be used to get a ] .

Typing <shift>+<altgr>+<9> has no effect.

So I cannot enter reduce mode of the REPL.

[chakravala]

The correct key is } not ] as the ] key is for pkg> mode.

If you'd like to customize the key, that is possible on this line:

https://github.com/chakravala/Reduce.jl/blob/7b5c7ef12f5a5145ae59364349be5819b1f559cf/src/repl.jl#L50

[ufechner7]

Thanks, the combination <altgr>+<0> works. (We also don't have a } key.)

But the manual says ] , so this should be fixed: https://reduce.crucialflow.com/stable/man/01-introduction/

The README.md also says it would be the ] key.