You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Sep 9, 2019. It is now read-only.
Veit Heller edited this page Nov 23, 2016
·
1 revision
#Known Setup Bugs
Arch Linux
If you are using xterm, the defaults settings are problematic for the REPL (i.e. it sends the wrong escape sequences on backspace). To fix this issue, follow the instructions on the Arch Wiki and restart your terminal server as reloading the file does not seem to work.