starman@programming.dev to Programming@programming.devEnglish · 10 months agoWavetermwww.waveterm.devexternal-linkmessage-square10fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkWavetermwww.waveterm.devstarman@programming.dev to Programming@programming.devEnglish · 10 months agomessage-square10fedilink
minus-squareNostraDavid@programming.devlinkfedilinkarrow-up1·10 months 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.