On 02/16/2013 12:10 PM, Stefano Lattarini wrote: > On 02/16/2013 11:31 AM, Bernhard Voelker wrote: >> Hmm, may it's my git version? >> >> $ git --version >> git version 1.7.7 >> > Unlikely, that version is not ancient. But just to be sure, you > could check whether the issue is still present with the latest > Git. My guess is that such an update won't change anything, though.
Hi Stefano, wow, yes, it's fixed in newer Git. I just ran from latest git.git (1.8.1.3.619.g7b6e784) and our re_edit then launched my $GIT_EDITOR as expected ... and the terminal isn't hosed afterward anymore. ;-) However, I couldn't find a certain commit in git.git history which fixed the issue. Have a nice day, Berny
