Re: [galaxy-dev] The latest galaxy-dist run.sh failed - solved