On 4/23/20 4:10 PM, Dominique Corbex wrote: > It's a little bit tedious to enter all the command lines so I have > added a script for running all the commands.
This is marvelous. Thank you so much. 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. ** Creating toolbox: ./xc-xiphos-win.sh: line 106: toolbox: command not found This is what I have, but apparently it's not right, or not enough: $ grep ^docker /var/log/rpmpkgs docker-1.13.1-68.git47e2230.fc30.x86_64.rpm docker-client-java-8.11.7-5.fc31.noarch.rpm docker-common-1.13.1-68.git47e2230.fc30.x86_64.rpm docker-rhel-push-plugin-1.13.1-68.git47e2230.fc30.x86_64.rpm
_______________________________________________ xiphos-devel mailing list xiphos-devel@crosswire.org http://www.crosswire.org/mailman/listinfo/xiphos-devel