<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="moz-cite-prefix">On 4/23/20 4:10 PM, Dominique Corbex
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:20200423221026.ce29e604e26efbd78887ebd9@corbex.org">
<pre class="moz-quote-pre" wrap="">It's a little bit tedious to enter all the command lines so I have
added a script for running all the commands.</pre>
</blockquote>
<font face="FreeSerif"><br>
This is marvelous. Thank you so much.<br>
<br>
Now, for the benefit of people like me who've never used docker
before, can you say what packages need to be installed in order to
use it fully? Docker is one of those tools that I've known about
for quite some time but have never had cause to go learn. Looks
like today is the day.</font><tt><br>
</tt><tt><br>
</tt><tt>** Creating toolbox:</tt><tt><br>
</tt><tt>./xc-xiphos-win.sh: line 106: toolbox: command not found</tt><tt><br>
</tt><tt><br>
</tt><font face="FreeSerif">This is what I have, but apparently it's
not right, or not enough:</font><tt><br>
</tt><tt><br>
</tt><tt>$ grep ^docker /var/log/rpmpkgs </tt><tt><br>
</tt><tt>docker-1.13.1-68.git47e2230.fc30.x86_64.rpm</tt><tt><br>
</tt><tt>docker-client-java-8.11.7-5.fc31.noarch.rpm</tt><tt><br>
</tt><tt>docker-common-1.13.1-68.git47e2230.fc30.x86_64.rpm</tt><tt><br>
</tt><tt>docker-rhel-push-plugin-1.13.1-68.git47e2230.fc30.x86_64.rpm</tt><br>
</body>
</html>