【code-server入门】code-server使用原生插件市场
修改方法
文件
原来的内容
1 | "extensionsGallery": { |
替换为
1 | "extensionsGallery": { |
但是我尝试了这个方法,发现并不能按照预期工作,解决方法是在vscode插件市场点击下载插件Download Extension
按钮下载好插件后直接拖入coder里右键即可安装
文件
原来的内容
1 | "extensionsGallery": { |
替换为
1 | "extensionsGallery": { |
但是我尝试了这个方法,发现并不能按照预期工作,解决方法是在vscode插件市场点击下载插件Download Extension
按钮下载好插件后直接拖入coder里右键即可安装