search

fedelibre / LilyDev

containers and images for LilyPond contributors
9 stars 7 forks source link

Allocate more space (25G) for root partition #13

Closed michaelkaeppler closed 4 years ago

michaelkaeppler commented 4 years ago

GUB needs up to 20G space to build, so 25G seems like a reasonable size.

fedelibre commented 4 years ago

Thanks