Resize Jenkins worker partitions

resize.sh

# I ran each block individually by hand by pasting =P

df -hl /var/lib/docker /var/jenkins && \
systemctl stop docker && \
umount /var/lib/docker && \
pkill -u jenkins

# wait a few seconds, but not too long because Jenkins will reconnect D=

umount /var/jenkins && \
lvresize --resizefs --size -20G /dev/vg/var+jenkins && \
lvresize --extents +100%FREE /dev/vg/var+lib+docker && \
mount /var/lib/docker && \
btrfs filesystem resize max /var/lib/docker && \
mount /var/jenkins && \
df -hl /var/lib/docker /var/jenkins

# looks good? ok:

systemctl start docker