Dear All

Our production Galaxy server has been running smoothly on a single multicore box with Red Hat 6.7. As this box gets older and older, it is in now time to replace it.

At the same time, we are also considering switching the operating system to CentOS 7. Has anyone switched a production installation from Red Hat to CentOS ?

'Galaxy Main' is running on CentOS, isn't-it?

I am also interested in plain numbers: how many of you are using Red Hat, how many CentOS and which version for your production server. I will probably need such numbers to convince our IT department.

There is no need to reply to the mailing list, just reply to me ( and if I get enough I will then collate and anonymize all the data and post back. Maybe we can even add such information to the wiki (

Thank you very much for your help


Hans-Rudolf Hotz, PhD
Bioinformatics Support

Friedrich Miescher Institute for Biomedical Research
Maulbeerstrasse 66
4058 Basel/Switzerland
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:

Reply via email to