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: [paths] default = https://bitbucket.org/galaxy/galaxy-dist Just change galaxy-dist to galaxy-central, save it, and you're good to go. -Dannon