thanks, I have to check thoroughly both options as I never used them. I hope it will be easy.
thanks again, Mar. 2016-01-20 12:13 GMT+01:00 Konstantin Khomoutov < flatw...@users.sourceforge.net>: > On Wed, 20 Jan 2016 11:15:41 +0100 > Dennis Kaarsemaker <den...@kaarsemaker.net> wrote: > > > > I'd like to have two heads & working directories, but I do not want > > > to have two .git data (with all history) duplicated in both of > > > them. > > > > > > Motivation: I checkout some head, and I executed some superb > > > compilation with "long-lasting effect". And I cannot checkout > > > different head until it's done, but I would still like to work on > > > something else. So I have different working directory of this git > > > repo, I can work on another branch there. > > > > > > Is something like this possible? > > > > With recent git versions it is possible: > > > > git worktree add /path/to/new/workdir branchname > > I would add two points: > > * In the not-so-recent versions of Git it is still possible, > just the script, new-worktree, lives in the "contrib" directory > of the Git installation. > > * To my (limited) knowledge, this script does not work on Windows > because it heavily relies on hardlinking which is hardly usable > on that platform. > > All in all, other methods exist if `git worktree` is not usable for > some reason. For instance, read on "--reference" and "--shared" > command-line options of `git clone`. > > -- > You received this message because you are subscribed to a topic in the > Google Groups "Git for human beings" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/git-users/mwH9B3Jl7vk/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > git-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To unsubscribe from this group and stop receiving emails from it, send an email to git-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
