diff options
author | Thien-Thi Nguyen <ttn@gnuvola.org> | 2020-12-15 05:06:59 -0500 |
---|---|---|
committer | Thien-Thi Nguyen <ttn@gnuvola.org> | 2020-12-15 05:06:59 -0500 |
commit | 93d69ab5433fd156ba5d064e55ea6e677d777c85 (patch) | |
tree | 1bb63d5ba7c0b671533c05b355fee78a6be10ebf /doc/handbook/chapters/configuration.texi | |
parent | 407765df156fa2600e33f16b2fe8ea7877b658d3 (diff) | |
download | gnunet-93d69ab5433fd156ba5d064e55ea6e677d777c85.tar.gz gnunet-93d69ab5433fd156ba5d064e55ea6e677d777c85.zip |
fix typo; quote { and } (six instances)
Diffstat (limited to 'doc/handbook/chapters/configuration.texi')
-rw-r--r-- | doc/handbook/chapters/configuration.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/handbook/chapters/configuration.texi b/doc/handbook/chapters/configuration.texi index adff956a9..27efc82e2 100644 --- a/doc/handbook/chapters/configuration.texi +++ b/doc/handbook/chapters/configuration.texi | |||
@@ -40,19 +40,19 @@ the filesystem. It is also possible to provide defaults values for those | |||
40 | variables that are unset, by using the following syntax: | 40 | variables that are unset, by using the following syntax: |
41 | 41 | ||
42 | @example | 42 | @example |
43 | ${VAR:-default} | 43 | $@{VAR:-default@} |
44 | @end example | 44 | @end example |
45 | 45 | ||
46 | @noindent | 46 | @noindent |
47 | However, there are two ways a user can set @cide{$}-prefixable variables: | 47 | However, there are two ways a user can set @code{$}-prefixable variables: |
48 | (a) by defining them under a @code{[paths]} section | 48 | (a) by defining them under a @code{[paths]} section |
49 | 49 | ||
50 | @example | 50 | @example |
51 | [paths] | 51 | [paths] |
52 | GNUNET_DEPLOYMENT_SHARED = ${HOME}/shared-data | 52 | GNUNET_DEPLOYMENT_SHARED = $@{HOME@}/shared-data |
53 | .. | 53 | .. |
54 | [section-x] | 54 | [section-x] |
55 | path-x = ${GNUNET_DEPLOYMENT_SHARED}/x | 55 | path-x = $@{GNUNET_DEPLOYMENT_SHARED@}/x |
56 | @end example | 56 | @end example |
57 | 57 | ||
58 | @noindent | 58 | @noindent |