<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN">
<html><body style='font-size: 14pt; font-family: Verdana,Geneva,sans-serif'>
<p>This issue has been solved. Just push the latest to the public repository.</p>
<p>On 2018-05-03 12:50, Adrian Thurston wrote:</p>
<blockquote type="cite" style="padding-left:5px; border-left:#1010ff 2px solid; margin-left:5px"><!-- html ignored --><!-- head ignored --><!-- meta ignored -->
<p>Just got docker installed, but getting to the image part ... 5 gigs is too much for me to download right now. Any chance you could give me a user on a machine I can reach?</p>
<p>On 2018-05-01 17:02, Sam Pfeiffer wrote:</p>
<blockquote style="padding-left: 5px; border-left: #1010ff 2px solid; margin-left: 5px;"><!-- node type 8 --><!-- node type 8 --><!-- node type 8 -->
<div dir="ltr">Oh, docker is wonderful, specially for this kind of "reproduce my case" scenarios.
<div>
<div> </div>
<div>If your machine is veeeeery old... this may not even work cause of missing virtualization stuff on your CPU (I have a little server with that problem).</div>
<div> </div>
<div>But, in any case, if you are using Ubuntu (16.04 I'd hope), you can follow the official guide to install docker: <a href="https://docs.docker.com/install/linux/docker-ce/ubuntu/#set-up-the-repository">https://docs.docker.com/install/linux/docker-ce/ubuntu/#set-up-the-repository</a></div>
<div> </div>
<div>Shortened is this:</div>
<div> </div>
<div>
<div>sudo apt-get install -y apt-transport-https ca-certificates curl software-properties-common</div>
<div>curl -fsSL <a href="https://download.docker.com/linux/ubuntu/gpg">https://download.docker.com/linux/ubuntu/gpg</a> | sudo apt-key add -</div>
<div>sudo add-apt-repository \</div>
<div>   "deb [arch=amd64] <a href="https://download.docker.com/linux/ubuntu">https://download.docker.com/linux/ubuntu</a> \</div>
<div>   $(lsb_release -cs) \</div>
<div>   stable"</div>
<div>sudo apt-get update</div>
<div>sudo apt-get install -y docker-ce</div>
<div>sudo usermod -aG docker $USER</div>
</div>
<div> </div>
<div>That's probably 100Mb?</div>
<div> </div>
<div>I also installed virtualbox-5.2... I think it installs some kernel modules that will be needed by the Docker I made. But I'm not sure. You can try without.</div>
<div>In any case the installation instructions are here: <a href="https://www.virtualbox.org/wiki/Linux_Downloads">https://www.virtualbox.org/wiki/Linux_Downloads</a></div>
<div> </div>
<div>Or shortened:</div>
<div> </div>
<div>
<div>sudo su</div>
<div>wget -q <a href="https://www.virtualbox.org/download/oracle_vbox_2016.asc">https://www.virtualbox.org/download/oracle_vbox_2016.asc</a> -O- | sudo apt-key add -</div>
<div>wget -q <a href="https://www.virtualbox.org/download/oracle_vbox.asc">https://www.virtualbox.org/download/oracle_vbox.asc</a> -O- | sudo apt-key add -</div>
<div>echo "deb <a href="http://download.virtualbox.org/virtualbox/debian">http://download.virtualbox.org/virtualbox/debian</a> xenial contrib" >> /etc/apt/sources.list.d/virtualbox.list</div>
<div>apt-get update</div>
<div>apt-get install -y --allow-unauthenticated dkms virtualbox-5.2 virtualbox-dkms</div>
<div> </div>
<div>VBOX_VERSION=`dpkg -s virtualbox-5.2 | grep '^Version: ' | sed -e 's/Version: \([0-9\.]*\)\-.*/\1/'` ; \</div>
<div>    wget -q <a href="http://download.virtualbox.org/virtualbox/${VBOX_VERSION}/Oracle_VM_VirtualBox_Extension_Pack-${VBOX_VERSION}.vbox-extpack">http://download.virtualbox.org/virtualbox/${VBOX_VERSION}/Oracle_VM_VirtualBox_Extension_Pack-${VBOX_VERSION}.vbox-extpack</a> ; \</div>
<div>    VBoxManage extpack install Oracle_VM_VirtualBox_Extension_Pack-${VBOX_VERSION}.vbox-extpack --accept-license=56be48f923303c8cababb0bb4c478284b688ed23f16d775d729b89a2e8e5f9eb; \</div>
<div>    rm Oracle_VM_VirtualBox_Extension_Pack-${VBOX_VERSION}.vbox-extpack</div>
<div>apt-get install -y linux-headers-generic virtualbox-dkms</div>
<div># Change the group of /dev/vbox* to vboxusers</div>
<div>chgrp vboxusers /dev/vbox*</div>
<div># Change permissions</div>
<div>chmod g+rw /dev/vbox*</div>
</div>
<div> </div>
<div>Probably another 100Mb there.</div>
<div> </div>
<div>But the really big guy is when you do, from the README of the repo: <a href="https://github.com/awesomebytes/colm_docker">https://github.com/awesomebytes/colm_docker</a></div>
<div> </div>
docker pull awesomebytes/colm_environment:1
<div> </div>
<div>That's 5.1GB of an image. It contains a 4GB file which is some kind of snapshotted VM with the problem.</div>
<div> </div>
<div>Alternatively, I could provide you access via ssh to some machine with the system already setup. If that would be more convenient for you, drop me a mail privately. Note that I'm in Sydney, we may have quite a challenge on timezones.<br />
<div> </div>
<div> </div>
<div> </div>
</div>
</div>
</div>
<div class="gmail_extra"><br />
<div class="gmail_quote">On Tue, May 1, 2018 at 1:33 AM, Adrian Thurston <span><<a href="mailto:thurston@colm.net">thurston@colm.net</a>></span> wrote:<br />
<blockquote class="gmail_quote" style="margin: 0 0 0 .8ex; border-left: 1px #ccc solid; padding-left: 1ex;"><span style="text-decoration: underline;"></span>
<div style="font-size: 14pt; font-family: Verdana,Geneva,sans-serif;">
<p>Okay thanks. I haven't used docker before (although a huge fan of linux namespaces). I'm assuming I need to do a lot of downloading to get this going? I'm not currently on a good internet connection, and I'm stuck on a very old laptop after leaving my good one on the top of my car and getting on the highway. Is there anything about this docker image that expires?</p>
<div>
<div class="h5">
<p>On 2018-04-28 01:42, Sam Pfeiffer wrote:</p>
<blockquote style="padding-left: 5px; border-left: #1010ff 2px solid; margin-left: 5px;">
<div dir="ltr">Hello,
<div> </div>
<div>I made a Docker image that you may use to (hopefully) quickly reproduce the bug. The instructions on how to use it are here:</div>
<div> </div>
<div><a href="https://github.com/awesomebytes/colm_docker">https://github.com/awesomebytes/colm_docker</a></div>
<div> </div>
<div>Mainly:</div>
<div> </div>
<div>docker pull awesomebytes/colm_environment:1</div>
<div> </div>
<div>docker run --privileged -v $HOME:/shared -it awesomebytes/colm_environment:1</div>
<div> </div>
<div>
<div>./COLM-start</div>
<div> </div>
<div> </div>
<div>su - abuild</div>
<div> </div>
<div> </div>
<div>cd ~/rpmbuild/BUILD/colm-0.13.0.5</div>
<div>make clean</div>
<div>./configure</div>
<div>make</div>
</div>
<div> </div>
<div>Extra info is in the README of the github repo.</div>
<div> </div>
<div>Thank you for taking a look into it again!</div>
<div> </div>
</div>
<div class="gmail_extra"><br />
<div class="gmail_quote">On Sat, Apr 28, 2018 at 8:32 AM, Adrian Thurston <span><<a href="mailto:thurston@colm.net">thurston@colm.net</a>></span> wrote:<br />
<blockquote class="gmail_quote" style="margin: 0 0 0 .8ex; border-left: 1px #ccc solid; padding-left: 1ex;"><span style="text-decoration: underline;"></span>
<div style="font-size: 14pt; font-family: Verdana,Geneva,sans-serif;">
<p>Can I get onto the VM where it can be reproduced?</p>
<div>
<div class="m_2230402957230899971h5">
<p>On 2018-04-26 22:58, Sam Pfeiffer wrote:</p>
</div>
</div>
<blockquote style="padding-left: 5px; border-left: #1010ff 2px solid; margin-left: 5px;">
<div>
<div class="m_2230402957230899971h5">
<div dir="ltr">
<div class="gmail_quote">
<div dir="ltr">Hello,</div>
<div dir="ltr"> </div>
<div dir="ltr">(Sorry if this mail may be received twice in the list).<br />
<div> </div>
<div>I've seen that you had some conversation about that already at:</div>
<div> </div>
<div><a href="http://www.colm.net/pipermail/colm-users/2017-June/000175.html">http://www.colm.net/pipermail/colm-users/2017-June/000175.html</a></div>
<div> </div>
<div>But it never got anywhere, I think. The last comment of Adrian Thurston says that build dependencies are missing.</div>
<div> </div>
<div>I tried reproducing the same thing and it did work for me (so I got the same compilation error). I did miss the first time doing:</div>
<div> </div>
su - abuild<br /><br /><br />As explained in <a href="http://www.colm.net/pipermail/colm-users/2017-June/000175.html">http://www.colm.net/pipermail/colm-users/2017-June/000175.html</a> by Jan Engelhardt.
<div> </div>
<div>Which gave me the same errors mentioned by Adrian.</div>
<div> </div>
<div>So, to reproduce it I did (just for clarity):</div>
<div> </div>
<div>cd tmp</div>
<div>wget <a href="http://inai.de/files/colm/COLM-img">http://inai.de/files/colm/COLM-img</a></div>
<div>wget <a href="http://inai.de/files/colm/COLM-initrd">http://inai.de/files/colm/COLM-initrd</a><br />
<div>wget <a href="http://inai.de/files/colm/COLM-kernel">http://inai.de/files/colm/COLM-kernel</a></div>
<div>wget <a href="http://inai.de/files/colm/COLM-start">http://inai.de/files/colm/COLM-start</a><br clear="all" />
<div> </div>
<div>chmod +x COLM-start</div>
<div>./COLM-start</div>
<div> </div>
<div>su - abuild</div>
<div> </div>
<div>cd ~/rpmbuild/BUILD/colm-0.13.0.5</div>
<div>make clean</div>
<div>./configure</div>
<div>make</div>
<div> </div>
<div> </div>
<div>And I got back to:</div>
<div> </div>
<div>bootstrap1: tree.c:953: colm_tree_downref: Assertion `tree->refs > 0' failed.</div>
<div> </div>
<div> </div>
<div>(I have a VM where I can reproduce it also, but I can't share it publicly).</div>
</div>
</div>
</div>
</div>
<div> </div>
-- <br />
<div class="m_2230402957230899971m_-8676277416049971473gmail_signature">
<div dir="ltr">
<div><strong> </strong></div>
<strong>Sammy Pfeiffer</strong>
<div><span style="color: #999999;">PhD Candidate at The Magic Lab within UTS.</span></div>
</div>
</div>
</div>
</div>
</div>
<pre>_______________________________________________
colm-users mailing list
<a href="mailto:colm-users@colm.net">colm-users@colm.net</a>
<a href="http://www.colm.net/cgi-bin/mailman/listinfo/colm-users">http://www.colm.net/cgi-bin/mailman/listinfo/colm-users</a>
</pre>
</blockquote>
</div>
<br />_______________________________________________<br /> colm-users mailing list<br /> <a href="mailto:colm-users@colm.net">colm-users@colm.net</a><br /> <a href="http://www.colm.net/cgi-bin/mailman/listinfo/colm-users">http://www.colm.net/cgi-bin/mailman/listinfo/colm-users</a></blockquote>
</div>
<br /><br clear="all" />
<div> </div>
-- <br />
<div class="m_2230402957230899971gmail_signature">
<div dir="ltr">
<div><strong> </strong></div>
<strong>Sammy Pfeiffer</strong>
<div><span style="color: #999999;">PhD Candidate at The Magic Lab within UTS.</span></div>
</div>
</div>
</div>
<br />
<pre>_______________________________________________
colm-users mailing list
<a href="mailto:colm-users@colm.net">colm-users@colm.net</a>
<a href="http://www.colm.net/cgi-bin/mailman/listinfo/colm-users">http://www.colm.net/cgi-bin/mailman/listinfo/colm-users</a>
</pre>
</blockquote>
</div>
</div>
</div>
<br />_______________________________________________<br /> colm-users mailing list<br /> <a href="mailto:colm-users@colm.net">colm-users@colm.net</a><br /> <a href="http://www.colm.net/cgi-bin/mailman/listinfo/colm-users">http://www.colm.net/cgi-bin/mailman/listinfo/colm-users</a></blockquote>
</div>
<br /><br clear="all" />
<div> </div>
-- <br />
<div class="gmail_signature">
<div dir="ltr">
<div><strong> </strong></div>
<strong>Sammy Pfeiffer</strong>
<div><span style="color: #999999;">PhD Candidate at The Magic Lab within UTS.</span></div>
</div>
</div>
</div>
<br />
<pre>_______________________________________________
colm-users mailing list
<a href="mailto:colm-users@colm.net">colm-users@colm.net</a>
<a href="http://www.colm.net/cgi-bin/mailman/listinfo/colm-users">http://www.colm.net/cgi-bin/mailman/listinfo/colm-users</a>
</pre>
</blockquote>
<!-- html ignored --><br />
<pre>_______________________________________________
colm-users mailing list
<a href="mailto:colm-users@colm.net">colm-users@colm.net</a>
<a href="http://www.colm.net/cgi-bin/mailman/listinfo/colm-users">http://www.colm.net/cgi-bin/mailman/listinfo/colm-users</a>
</pre>
</blockquote>
</body></html>