My idea here is to use Codespaces from GitHub on the go - using an Android tablet with Google Chrome on it and a bluetooth/usb keyboard + ext. mouse.

Sounds good, sets up nicely, but I have some issues, that maybe someone faced/solved already (I googled them but found no solution).

1) when I type in the terminal and hit <tab> or <backspace> or even <space> I get duplicated characters (like what I typed reappears again, ie. cd<space><tab> goes into: cd cd cd cd). I checked that with two keyboards, a bluetooth and an usb one - both produces the same issue

2) when I use a default Codespace, I can connect to my repository (at some early step I have to choose it) but the version of PHP is 8.0. When I chose a blank template I got PHP 8.2 but no idea how to connect to the repository (I can only convert the workspace into another repository).

With the 2) point probably I can figure out that myself (so please do not punch me too hard), but with 1) the whole thing is useless for me. Maybe that is even a general problem?

Any hint/advice/experience is welcomed. Thank you!