Jorge Aparicio e2fc5a0771 merge apt-get commands 8 éve
..
docker e2fc5a0771 merge apt-get commands 8 éve
run-docker.sh d0a57cb871 give Xargo a $HOME 8 éve
run.sh 5d164a4eda fix the powerpc64le target 8 éve