[userland_tech]

Yes. It supports extensions.

[tbenst]

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.

[userland_tech]

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.