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 edit.
On Fri, Jun 12, 2015 at 5:13 PM Davenport, Aneisha <ADAVENP3(a)gru.edu> wrote:
Hi, I work at the It service desk at the GRU Health and Science
Commons GB building and I have a customer trying to get admin access for
the local installation of galaxy. We tried to follow the online
instructions "In order to control your new Galaxy through the UI
(installing tools, managing users, creating groups etc.) you have to become
an administrator. First register as a new user and then give the user admin
privileges like this: You add the Galaxy login ( email ) to the Galaxy
configuration file (config/galaxy.ini). If the file does not exist you can
copy it from the provided sample (config/galaxy.ini.sample). Note that you
have to restart Galaxy after modifying the configuration for changes to
# this should be a comma-separated list of valid Galaxy users
admin_users = email@example.com,firstname.lastname@example.org" but we cannot alter
the config/galaxy.ini file. Can you please give us assistance? Do you run
in console or Terminal (this is a Macbook Air Laptop)?
Please keep all replies on the list by using "reply all"
in your mail client. To manage your subscriptions to this
and other Galaxy lists, please use the interface at:
To search Galaxy mailing lists use the unified search at: