问题
在组里的服务器上使用 vscode,安装插件时突然报错说存储空间已满,一看确实 /home 已经满了,大过年的估计找不到其他师兄清出空间,而且那些文件夹大于几个 G 的估计都是老惯犯(x)了,清了也没用。
所以我选择把 vscode 迁移到其他空间充足的盘里。
解决方法
先用中文搜了一遍问题,找到一些没用或文不对题的解决方法,英文一搜就出来想要的结果,中文互联网真是歇火了。。。
原文是 StackOverflow: How to change vscode-server directory,这里用中文简单总结一下
- 用
cd 指令切换到空间充足的目录 cd /your/big/disk/project/space - 用
mv 指令将 vscode-server 移动到此区域(. )这个点别忘记 mv ~/.vscode-server . - 用
ln 指令创建链接,-s 参数创建的是软链接(推荐) ln -s /your/big/disk/project/space/.vscode-server ~/.vscode-server - 确认没有循环链接(原回答说这一步不应当有输出,其实不一定)
find -L ./ -mindepth 15 - 重启 vscode,大功告成
如果进入服务器时,连 vscode 都没安装完,解决方法也在那个 StackOverflow 的回答中,但是我还没有测试过
总结
- 进了服务器别直接下这个下那个,先看下剩余空间
df -h du -sh ./* - 依赖中文会变得不幸,写这篇博客是希望能为环境改善做一点贡献
|