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.