Skip to content

Commit 5414ec4

Browse files
committed
reviewer changes
1 parent 377ec6d commit 5414ec4

File tree

1 file changed

+3
-10
lines changed

1 file changed

+3
-10
lines changed

source/settings/config-file.txt

Lines changed: 3 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -127,26 +127,19 @@ Settings
127127
option with the :guilabel:`Edit connection string` toggle.
128128

129129
* - proxy
130-
- Allows you to enforce or define a Proxy to connect to your deployment
130+
- Allows you to enforce or define a ``proxy`` to connect to your deployment
131131
with. For more information on connecting to your deployment with a
132-
proxy, see :ref:`ssh-connection`.
132+
``proxy``, see :ref:`ssh-connection`.
133133

134134
You must pass either a URL or a ``DevtoolsProxyOptions`` object as JSON
135-
for the Proxy setting. A ``DevtoolsProxyOptions`` object takes the following
135+
for the ``proxy`` setting. A ``DevtoolsProxyOptions`` object takes the following
136136
format:
137137

138138
.. code-block::
139139

140140
{
141141
proxy: string;
142142
noProxyHosts: string;
143-
useEnvironmentVariableProxies: boolean;
144-
sshOptions: {
145-
identityKeyFile: string;
146-
identityKeyPassphrase: string;
147-
};
148-
ca: ConnectionOptions['ca'];
149-
env: Record<string, string | undefined>;
150143
}
151144

152145
If you set ``proxy`` to an empty string, no

0 commit comments

Comments
 (0)