@starman to ProgrammingEnglish • 7 months agoWavetermwww.waveterm.devexternal-linkmessage-square20arrow-up172arrow-down129
arrow-up143arrow-down1external-linkWavetermwww.waveterm.dev@starman to ProgrammingEnglish • 7 months agomessage-square20
minus-square@[email protected]linkfedilink1•7 months agoI’ll have a look to this, a VScode editor like for remote can be handful sometime
minus-squareNostraDavidlink5•7 months agoso… vscode? you can install an extention for remote connections (made by MS)
I’ll have a look to this, a VScode editor like for remote can be handful sometime
so… vscode? you can install an extention for remote connections (made by MS)
Vscode even has a terminal built in haha