This is the mail archive of the mailing list for the DocBook project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Environment Variables in File/Directory Names

Norman Walsh <> writes:

> Oh, I probably use envar for both. That distinction isn't often important.


> If it was, I'd just use a role attribute. Or maybe <literal
> role="envar">.  Or something.

For environment variables there is <envar> or <literal role="envar"> (if
you're sure your stylesheets will support the role attribute); for
values use <literal>.

Gregory Leblanc <> writes:

>> This leads me to another question: What markup is appropriate
>> for distinguishing between an environment variable and its value? (I'm
>> simply talking about the difference between TOMCAT_HOME and $TOMCAT_HOME).
> I normally use <varname>...

Really?  And when your publischer decides, all environment variables
should be prefixed with "$" or printed with italics you've lost; better
distinguish now:

    For <envar>DISPLAY</envar> use <literal>localhost:0.0</literal>.

<varname> is for such things like:

    <varname>i</variable> will increment from <literal>0</literal> to

And finally we have:

    Check files in

-- (work) / (home):              |                                  |      ,__o
Free Translation Project:                                |    _-\_<,             |   (*)/'(*)

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]