starman@programming.dev to Programming@programming.devEnglish · 1 year agoWavetermwww.waveterm.devexternal-linkmessage-square20fedilinkarrow-up172arrow-down129 cross-posted to: linux_lugcast@lemux.minnix.devhackernews@lemmy.smeargle.fanshackernews@derp.foo
arrow-up143arrow-down1external-linkWavetermwww.waveterm.devstarman@programming.dev to Programming@programming.devEnglish · 1 year agomessage-square20fedilink cross-posted to: linux_lugcast@lemux.minnix.devhackernews@lemmy.smeargle.fanshackernews@derp.foo
minus-squareNostraDavid@programming.devlinkfedilinkarrow-up12·1 year ago Quickly edit code on a local or remote machine with the same editor that powers VSCode. so it’s vscode, but not. you can just install an extention to get remote abilities.
so it’s vscode, but not. you can just install an extention to get remote abilities.