5 Nov
2012
5 Nov
'12
11:44 a.m.
On Mon, Nov 5, 2012 at 5:34 PM, Joel Rosenberg <thisisjoel@hotmail.com> wrote:
Sorry for bumping this, but it seems like such a standard boilerplate step of installing a tool that someone muts know how.
-Joel
Personally I've just been installing them on the $PATH, typically under $HOME/bin of the Galaxy user which is on our Galaxy user account's $PATH. Peter