ing this
version of Git are installed and exit.</p>
</dd>
<dt class="hdlist1">-p</dt>
<dt class="hdlist1">--paginate</dt>
<dd>
<p>Pipe all output into <em>less</em> (or if set, $PAGER) if standard
output is a terminal.  This overrides the <code>pager.&lt;cmd&gt;</code>
configuration options (see the "Configuration Mechanism" section
below).</p>
</dd>
<dt class="hdlist1">-P</dt>
<dt class="hdlist1">--no-pager</dt>
<dd>
<p>Do not pipe Git output into a pager.</p>
</dd>
<dt class="hdlist1">--git-dir=&lt;path&g