迁移服务器上的 vscode-server

问题

在组里的服务器上使用 vscode，安装插件时突然报错说存储空间已满，一看确实 /home 已经满了，大过年的估计找不到其他师兄清出空间，而且那些文件夹大于几个 G 的估计都是老惯犯（x）了，清了也没用。

所以我选择把 vscode 迁移到其他空间充足的盘里。

解决方法

先用中文搜了一遍问题，找到一些没用或文不对题的解决方法，英文一搜就出来想要的结果，中文互联网真是歇火了。。。

原文是 StackOverflow: How to change vscode-server directory，这里用中文简单总结一下

1. 用 cd 指令切换到空间充足的目录
   cd /your/big/disk/project/space
2. 用 mv 指令将 vscode-server 移动到此区域（.）这个点别忘记
   mv ~/.vscode-server .
3. 用 ln 指令创建链接，-s 参数创建的是软链接（推荐）
   ln -s /your/big/disk/project/space/.vscode-server ~/.vscode-server
4. 确认没有循环链接（原回答说这一步不应当有输出，其实不一定）
   find -L ./ -mindepth 15
5. 重启 vscode，大功告成

如果进入服务器时，连 vscode 都没安装完，解决方法也在那个 StackOverflow 的回答中，但是我还没有测试过

总结

1. 进了服务器别直接下这个下那个，先看下剩余空间 df -h du -sh ./*
2. 依赖中文会变得不幸，写这篇博客是希望能为环境改善做一点贡献