From: Zeeshan Ali (Khattak) Date: Sat, 14 Jul 2012 20:49:11 GMT Subject: Re: Support of '^' as alias for 'HEAD^' Message-ID: In-Reply-To: <7vr4se5bg4.fsf@alter.siamese.dyndns.org> On Sat, Jul 14, 2012 at 11:34 PM, Junio C Hamano wrote: > Junio C Hamano writes: > >> Stefan Näwe writes: >> >>> Zeeshan Ali (Khattak gnome.org> writes: >>>> >>>> Many times I want to refer to 'HEAD^', 'HEAD^^' and sometimes even >>>> further up the tree. It would be really nice if I didn't have to type >>>> 'HEAD^' but could only type '^'. Bash completion make things easier >>>> but it automatically inserts a space immediately after HEAD so you >>>> have to hit backspace. I think this change would be good in general >>>> anyway. >>> >>> Or even '~1', '~3'. >> >> "^" has a problem when used with other things (does "log ^^2 >> origin" mean "log HEAD^2..origin"? Or "log HEAD^^2 origin"), so I >> do not think it would never fly as an abbreviated syntax. What about '^' and '^^' that I suggested? >> While I see your "~" much distasteful compared to "^", you still > > s/dist/less dist/; sorry ;-) Why? >> need to be a bit more careful when analysing the benefit of such an >> abbreviation. To shells used by many people, these mean tilde >> expansion ~ to refer to elements on the dirstack and you need to >> quote, perhaps like \~3. That would kinda beat the purpose I think, would be nice to just type 1 key rather than 3 to refer to HEAD (2 keys would still be good enough IMHO). -- Regards, Zeeshan Ali (Khattak) FSF member#5124