如何在RaspberryPi上的docker映像上增加/dev/root的大小

我正在使用https://github.com/lukechilds/dockerpi项目通过 Docker 在本地重新创建 Raspberry Pi。但是，默认磁盘空间很小，我很快就填满了：

pi@raspberrypi:~$ df -h
Filesystem      Size  Used Avail Use% Mounted on
/dev/root       1.8G  1.2G  533M  69% /
devtmpfs        124M     0  124M   0% /dev
tmpfs           124M     0  124M   0% /dev/shm
tmpfs           124M  1.9M  122M   2% /run
tmpfs           5.0M     0  5.0M   0% /run/lock
tmpfs           124M     0  124M   0% /sys/fs/cgroup
/dev/sda1       253M   52M  201M  21% /boot
tmpfs            25M     0   25M   0% /run/user/1000

如何为 RPi 提供移动空间？我看到了这个问题，但我不明白该解决方案是如何实施的，或者它是否相关。