Hacker News Reader

It's certainly not as ergonomic as using the SSH extension directly, but you can SSH manually to your dev box, open a vscode tunnel, then connect to that from vscode.dev in a pinch.

Yes. It supports extensions.

Thanks for the response! So does vscode.dev, but it doesn’t support “Remote - SSH.” Could you confirm if this specific extension is functional?

To expand, for Remote - SSH to fully function it must read a ~/.ssh/config file as well.

I didn't read thoroughly enough. I have not tried that one yet. It should work as many people use SSH from the UserLAnd app, which this is similar to. If you try it out before we do, remember that android blocks apps from using the first 1k ports, so you have to run ssh on port 2022 or something like that, instead of the normal port 22.

I will make a point of getting that working if it doesn't.

Shells offers an Android OS on the platform with the ability to SSH.