> On 14 Dec 2016, at 18:22, Hans Aikema <hans.aik...@aikebah.net> wrote: > > >> On 14 Dec 2016, at 14:56, Hans Aikema <hans.aik...@aikebah.net> wrote: >> >> >>> On 14 Dec 2016, at 14:30, Masamichi Hosoda <truer...@trueroad.jp> wrote: >>> >>>>>> > <..> > will do some more digging inside autoconf to see if I can spot any reason why > CONFIG_SHELL would not be set in my case > I ran into docker diskspace issues as mentioned on https://forums.docker.com/t/no-space-left-on-device-error/10894/16
Decided to not be too picky on disk consumption and start over with a much larger docker storage volume (200G). As I had to start over I decided to first try and get a dockerized Ubuntu Xenial up-and-running and only when successful on that one start experimenting again with CentOS If you’d like a CentOS validation build somewhere in between I could still do that, as I have the Dockerfiles available to build them as well; but for now I will first trial the docker-path with a Linux distro that has proven compatibility with GUB to rule out the possibility of Linux distro issues when failing to run GUB dockerized. _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
