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 addlable 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:
http://lists.bx.psu.edu/
___
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:
http://lists.bx.psu.edu/
