Wavetermwww.waveterm.devexternal-linkcross-posted to: hackernews@lemmy.smeargle.fanshackernews@derp.foo starman ( @starman@programming.dev ) Programming@programming.devEnglish • 10 months ago message-square14fedilinkarrow-up136
arrow-up136external-linkWavetermwww.waveterm.dev starman ( @starman@programming.dev ) Programming@programming.devEnglish • 10 months ago message-square14fedilinkcross-posted to: hackernews@lemmy.smeargle.fanshackernews@derp.foo
minus-square MarkPotatoes ( @MarkPotatoes@lemm.ee ) linkfedilink1•10 months agoI’ll have a look to this, a VScode editor like for remote can be handful sometime
minus-square NostraDavid ( @NostraDavid@programming.dev ) linkfedilink3•10 months agoso… vscode? you can install an extention for remote connections (made by MS)
minus-square einsteinx2 ( @einsteinx2@programming.dev ) linkfedilink1•10 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