On Apr 18, 2012, at 8:44 AM, Frank Sørensen wrote:
> - Should I pull from galaxy-central to get this update (7057:08fbfeaaf3e1)?
> - If so, could you please tell me how I do that?
Sure, you can pull from galaxy-central by issuing a manual pull with source
from your galaxy-dist directory:
> hg pull -u https://bitbucket.org/galaxy/galaxy-central
> - Do you know how I permanently change repository from galaxy-dist to galaxy
> central, without loosing my tools and modifications?
If you want to permanently change to galaxy-central, you'll need to manually
edit the file <galaxydirectory>/.hg/hgrc. It should look something like this:
default = https://bitbucket.org/galaxy/galaxy-dist
Just change galaxy-dist to galaxy-central, save it, and you're good to go.
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: