增加根分区空间

有的服务器磁盘空间很大，但是根分区（/）目录的磁盘分配很少，考虑扩容根分区。但这可能需要重启服务器，并且操作有一定风险。

根据你的输出，根分区在/dev/xvda1上，只有10G，而/home在/dev/xvda3上有87G。你可以考虑调整分区大小，但注意这需要先卸载分区，可能会很复杂。也可以考虑使用符号链接将一些占用空间大的目录链接到/home下。

例如，将/var/lib/jenkins链接到/home/jenkins：

1. 停止Jenkins服务。

2. 将/var/lib/jenkins移动到/home/jenkins。

3. 创建符号链接：

sudo ln -s /home/jenkins /var/lib/jenkins

　　4.启动Jenkins服务。

但请注意，使用符号链接可能会带来性能影响，不过对于Jenkins工作目录来说，通常是可接受的。

      5.可以“定期清理”

设置定期清理任务，例如每天清理/tmp目录，每周清理旧的构建等。

根据你的具体情况，选择适合的方法。建议先进行清理，然后考虑迁移工作目录。