Hello fellow Galaxy-Dev users,

We are having an issue trying to install tools from the main tool shed. 
Trying to install bowtie2 (or any other tool for that matter) gives us the 
following error message :

Error Traceback:
⇝ URLError: <urlopen error [Errno -2] Name or service not known>

Looking further in the error traceback, the url not found in question is 
this one (in the case of bowtie2):


Indeed, copy pasting this URL into a browser gives me the Internal server 
error page.

Anyone knows if this is a widespread issue?

Thanks for your feedback!


Please keep all replies on the list by using "reply all"
in your mail client.  To manage your subscriptions to this
and other Galaxy lists, please use the interface at:

To search Galaxy mailing lists use the unified search at:

Reply via email to