Re: [galaxy-dev] tool of installing tool shed repositories