记录这篇文章是因为碰到了以下这个bug，docker pull的时候设备空间不足：
write /var/lib/docker/tmp/getimageblob415296441: no space left on device解决方法基本上可以follow这篇文章 但是我也遇到一些问题：
(1) 开机后进入不了gaprted的主界面，这里需要勾选Connect at power on，使他随开机一并读入 （如图Fig.1）。如果开机后依旧没有见到gaprted主界面，则重启，按Esc键进入如下界面，选择第三个选项，即：CD-ROM Drive（如图Fig.2，要早按！！！）。
（2）进入主界面后，回车选择第一项，之后一路回车，好像是安装引导，最后会看到管理硬盘的对话框，按照开头链接处文章指引合并存储，之后重启虚拟机即可。
