en paste the commands.
It saves me creating a script file and then removing it later.
--
Tom Hale
On 17/04/17 11:24, Junio C Hamano wrote:
> "Tom \"Ravi\" Hale" writes:
>
> > If a user types `set -e` in an interactive shell, and is using __git_ps1
> > to set
> > their prompt, the shell will die if the current directory isn't inside a git
> > repository.
> >
> Hmph. So the fix would be someth
not.
Also:
Given it's very rare to want only part of a string to emit colour codes,
if something like "bold" carries through until a "no-bold", why doesn't
"auto" do the same thing?
--
Tom Hale
seems that this is not being
respected when piped through `cat`.
Am I misunderstanding the manual?
--
Tom Hale
The log --format="%d" includes preceding space:
$ git log -n1 --format="XX%dXX" HEAD
XX (HEAD -> master)XX
I know of no other % that is output in this way.
Is there a way of removing this preceding space through the format
string, or will it need to be a code change?
--
Tom Hale
On 2016-10-03 00:00, Anatoly Borodin wrote:
I've reported this one bug recently:
https://public-inbox.org/git/nrmbrl$hsk$1...@blaine.gmane.org/
The developers know about it, but it will require some deeper refactoring.
Thanks Anatoly for reporting this.
[Meta] All: For updates, is there an i
back to the shell, whereas I
would expect to see:
Stage this hunk [y,n,q,a,d,/,j,J,g,e,?]?
--
Tom Hale
7 matches
Mail list logo