@[email protected] to [email protected]English • 1 year agoWavetermwww.waveterm.devexternal-linkmessage-square17fedilinkarrow-up170arrow-down128 cross-posted to: [email protected][email protected]
arrow-up142arrow-down1external-linkWavetermwww.waveterm.dev@[email protected] to [email protected]English • 1 year agomessage-square17fedilink cross-posted to: [email protected][email protected]
minus-square@[email protected]linkfedilink1•1 year agoI’ll have a look to this, a VScode editor like for remote can be handful sometime
minus-squareNostraDavidlinkfedilink5•1 year 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