ˆ-key does not work on OS X out of the box #3346
Labels
gapdays2019-spring
Issues and PRs that arose at https://www.gapdays.de/gapdays2019-spring
kind: bug
Issues describing general bugs, and PRs fixing them
os: macos
Issues and PRs that are (at least partially) specific to macOS
topic: ui
Observed behaviour
On the newest OS X (Mac OS Mojave 10.14.3) with an international english keyboard layout the ˆ-key does not work. If I press ^ and rightarrow it outputs the following:
Expected behaviour
Being able to use ^ as in other programs.
Copy and paste GAP banner
As @ChrisJefferson pointed out to me installing readline via
brew -install readline
and recompiling GAP solves the problem. This is explained in theREADME.md
in the section about using the development version of GAP. In theINSTALL.md
this is not mentioned in section 13 about OS X. But interestingly the problem is mentioned in section 10 "If things go wrong" as a problem specific to windows where apparently no workaround is available.As a workaround I'd suggest to add the same explanation as in the
README.md
to section 13 ofINSTALL.md
and to put the problem as it is mentioned in section 11 out of the "only windows" part and mention the workaround for OS X there. That way it is easier to find the solution or not run into the problem in the first place.The text was updated successfully, but these errors were encountered: