adave...@gru.edu, galaxy-dev@lists.galaxyproject.org
Subject: Re: [galaxy-dev] Galaxy admin access
Sure, you can change those if you'd like for it to run on a different port, etc
-- otherwise these settings will use default values (the same ones you've been
using already). The only setting you'll
-dev] Galaxy admin access
Did you restart the server after editing galaxy.ini? That, and refreshing the
main page should be all you need to do, and you'll see a new Admin menu in
the top masthead when logged in as the admin user.
And, just to confirm -- you have registered a user
message
From: Dannon Baker dannon.ba...@gmail.com
Date: 06/17/2015 12:21 PM (GMT-05:00)
To: Davenport, Aneisha adave...@gru.edu, galaxy-dev@lists.galaxyproject.org
Subject: Re: [galaxy-dev] Galaxy admin access
In your terminal, you'll need to navigate to the galaxy config directory
(you'll
adave...@gru.edumailto:adave...@gru.edu,
galaxy-dev@lists.galaxyproject.orgmailto:galaxy-dev@lists.galaxyproject.org
Subject: Re: [galaxy-dev] Galaxy admin access
In your terminal, you'll need to navigate to the galaxy config directory
(you'll see the .sample file there) first. Once there, look
, Aneisha adave...@gru.edu,
galaxy-dev@lists.galaxyproject.org
Subject: Re: [galaxy-dev] Galaxy admin access
Where are you executing this? You'll need to be in the galaxy/config
directory, where galaxy.ini.sample exists.
I'm looping the mailing list back in on this so other people might also
Hi Aneisha,
When you say you cannot alter config/galaxy.ini, what do you mean? You
should be able to create (if not there) and edit this file in your regular
terminal on that machine.
Does a different user own the file, perhaps a 'galaxy' one? If so, you
could change to that user and then
