[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:

Reduce.jl/src/repl.jl

Line 50 in 7b5c7ef

start_key='}',

[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.