On 03/09/2012 01:04 AM, Huayan Gao wrote:
Dear Hans,
I emptied cache and it is not showing up the changes. I changed a computer and tried again. No luck.
Yes, I killed the process and restart the server, no luck.
It should be pretty straight forward but it just did not come out as I expected.
Any ideas?
first (wild) guess: you have two galaxy servers (ie galaxy directories). you change the file in one, but in the web browser, you are looking at a different installation. so just double checking: what happens when you delete (ie re-name or move to a different location): ~/galaxy_dist/static/welcome.html ~/galaxy_dist/tool_conf.xml ~/galaxy_dist/tool_conf.xml.sample and restart the server? the missing "tool_conf.xml" should cause the start-up to fail Regards, Hans
Best, Huayan
On 8 Mar, 2012, at 10:52 PM, Hans-Rudolf Hotz wrote:
Hi Huayan
I got a silly question for you. My galaxy is running now but I'd like to customize it. I've changed the welcome.html page but the galaxy mirror site is showing the old one. Do I need to change some other files or other configurations?
Are you sure the page is not cached locally?
Also, I add<lable> in tool_conf.xml file but it does not show up either. Is there another file I need to change too?
I assume you mean "label", have you restarted your galaxy server?
I hope this helps Regards, Hans
Best, Huayan ___________________________________________________________ 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: