Re: [PATCH] git-push.txt: describe how to default to pushing only current branch

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
From: Jeff King
Date: Saturday, March 14, 2009 - 1:34 pm

On Fri, Mar 13, 2009 at 08:27:31PM -0500, Chris Johnsen wrote:


The problem is that they are supposed to set in a monospaced font, but
most terminals are already monospaced. This is actually a problem
throughout the documentation, although it is usually only for
single-word phrases (like `git-foo`), which don't look nearly as bad as
multi-word ones.

Actually, looking closer, the information seems to be lost entirely.
Asciidoc renders this to <literal> in the XML, but docbook seems to
throw it away when converting to a manpage. In theory it's possible to
apply our own xsl style to turn this into something else, and I think
that is a better solution than just trying to fix this one spot.

The question is how it _should_ be rendered. Monospace isn't really
useful for terminals. Maybe simply putting quotation marks around it
would cover all situations (I'm worried it will look funny for
single-word instances).


On Sat, Mar 14, 2009 at 12:26:41PM -0700, Junio C Hamano wrote:


It looks fine to me; my only concern is the typesetting, but I think
that should be fixed elsewhere, as outlined above.

-Peff
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
Not pushing all branches?, Peter Krefting, (Fri Mar 13, 12:48 am)
Re: Not pushing all branches?, Imran M Yousuf, (Fri Mar 13, 1:12 am)
Re: Not pushing all branches?, John Tapsell, (Fri Mar 13, 1:25 am)
Re: Not pushing all branches?, Peter Krefting, (Fri Mar 13, 2:44 am)
Re: Not pushing all branches?, Johannes Schindelin, (Fri Mar 13, 3:49 am)
Re: Not pushing all branches?, Johannes Schindelin, (Fri Mar 13, 3:51 am)
Re: Not pushing all branches?, Finn Arne Gangstad, (Fri Mar 13, 4:38 am)
Re: Not pushing all branches?, John Tapsell, (Fri Mar 13, 5:37 am)
Re: Not pushing all branches?, Johannes Schindelin, (Fri Mar 13, 6:53 am)
Re: Not pushing all branches?, John Tapsell, (Fri Mar 13, 6:56 am)
Re: Not pushing all branches?, Michael J Gruber, (Fri Mar 13, 8:48 am)
Re: Not pushing all branches?, Johannes Schindelin, (Fri Mar 13, 9:00 am)
Re: Not pushing all branches?, Jeff King, (Fri Mar 13, 9:49 am)
Re: Not pushing all branches?, Junio C Hamano, (Fri Mar 13, 1:02 pm)
Re: [PATCH] git-push.txt: describe how to default to pushi ..., Jeff King, (Sat Mar 14, 1:34 pm)