Re: [galaxy-dev] Using wget/curl with Tool Shed?

2011-05-11 Thread Greg Von Kuster
Hello peter, Thanks very much for your proposal. I'll be giving a talk at the Galaxy Community Conference that relates to this issue. Greg Von Kuster On Mar 28, 2011, at 11:18 AM, Peter Cock wrote: > Hi all, > > I'm trying to download and install something from the Galaxy > Tool Shed http://

[galaxy-dev] Using wget/curl with Tool Shed?

2011-03-28 Thread Peter Cock
Hi all, I'm trying to download and install something from the Galaxy Tool Shed http://community.g2.bx.psu.edu/ on to our sever. To do this, I'd like to copy/paste the URL of a tool's tar ball (or individual XML file etc) from my browser running on my desktop to a terminal window logged in to our s