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 ___________________________________________________________ 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/
