https://github.com/genodelabs/genode/blob/master/ports/run/noux_bash.run line 123 I changed "de" to "us".
Of course, this change affect only make run/noux_bash After that, ":" key was where I expected it to be on my keyboard. Don't search too much, the code up to now seems to know only "de" and not "de". But I am/was still unable to type Ctrl-] in the help to select a topic. Might be that Ctrl is not where I expect it yet. ------------------------------------------------------------------------------ Everyone hates slow websites. So do we. Make your web apps faster with AppDynamics Download AppDynamics Lite for free today: http://p.sf.net/sfu/appdyn_d2d_jan _______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
