Thanks Marius,
it does not look like it's working for me. There are to many changes in
git diff...
the git pull and cat local_changes.diff |patch -p1 -R gives me an
endless list of differences.
Cheers Jochen
On 21.07.2015 11:41, Marius van den Beek wrote:
Hi Jochen,
I recently did this.
Hi Jochen,
I recently took a probably more labour intensive approach.
# backup!
# mv prev-installation to somewhere else
# git clone to old-location
# git checkout -b master origin/master
# and copy over every config, tool xml, tool dependency directory,
tool-data loc files from the
Hi Jochen,
I recently did this. Instructions are here:
https://wiki.galaxyproject.org/Develop/SourceCode
This has worked for me:
(~/galaxy-dist is my production galaxy dir)
cd ~
git clone https://github.com/galaxyproject/galaxy.git
cd galaxy
git reset --hard
