I followed the exact steps listed here: https://wiki.galaxyproject.org/Admin/GetGalaxy#Become_an_Admin:_Example
in order to become a galaxy admin so that I could load someone else's tool for my own use. I see admin user=my email when I grep on admin user in config/galaxy.ini. However when I log onto galaxy in my web browser I see no admin option.
What am I missing?
Yes. I hit ctrl+c and then re ran galaxy using sh run.sh in the galaxy directory. Also tried restarting browser and logging in and out.
The formatting is Ok in the galaxy.ini file? And the email address used is the same one as the registered Galaxy account?
Was Galaxy obtained using the github command? Version 16.07? Any other changes since you started this up?
I used git clone -b release_16.07 https://github.com/galaxyproject/galaxy.git to start galaxy
When I grep on admin_users there are spaces as you mentioned. Email address is same I had used to register.
Also double check the formatting in the galaxy.ini file - there should be spaces so the line is formatted like:
admin_users = email@example.com
One other thing it might be -- are you sure you edited galaxy.ini and not galaxy.ini.sample?
If I grep on galaxy.ini.sample for admin_users it says "admin_users = none." When following the instructions I listed above it created a new file for galaxy.ini in which my email is the admin.
Ok. So looking in the config directory on the command line, you definitely see a galaxy.ini.sample and a separate galaxy.ini? And if you open up that galaxy.ini and look at the contents, you can find the following line:
admin_users = firstname.lastname@example.org