starman@programming.dev to Programming@programming.devEnglish · 11 months agoWavetermwww.waveterm.devexternal-linkmessage-square20fedilinkarrow-up170arrow-down128 cross-posted to: [email protected][email protected][email protected]
arrow-up142arrow-down1external-linkWavetermwww.waveterm.devstarman@programming.dev to Programming@programming.devEnglish · 11 months agomessage-square20fedilink cross-posted to: [email protected][email protected][email protected]
minus-squareMarkPotatoes@lemm.eelinkfedilinkarrow-up1·11 months agoI’ll have a look to this, a VScode editor like for remote can be handful sometime
minus-squareNostraDavid@programming.devlinkfedilinkarrow-up5·11 months agoso… vscode? you can install an extention for remote connections (made by MS)
minus-squareeinsteinx2@programming.devlinkfedilinkarrow-up3·11 months agoVscode even has a terminal built in haha
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