diff options
author | Vincent Lefevre <vincent-fdt@vinc17.net> | 2020-07-30 14:01:44 +0000 |
---|---|---|
committer | Thomas Haller <thaller@redhat.com> | 2020-07-30 17:52:12 +0200 |
commit | a938f4f018f6fc9b35297b2320c5e295742ab087 (patch) | |
tree | 4541a01570ff85b170190c09f91c54a0ada85109 /man | |
parent | 94e2348c54ba8a7815e79d5dcdbe3364d05d6173 (diff) |
man: fix a typo
https://gitlab.freedesktop.org/NetworkManager/NetworkManager/-/merge_requests/594
Diffstat (limited to 'man')
-rw-r--r-- | man/NetworkManager.conf.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/NetworkManager.conf.xml b/man/NetworkManager.conf.xml index 6f23dd2b2d..aac80a0878 100644 --- a/man/NetworkManager.conf.xml +++ b/man/NetworkManager.conf.xml @@ -179,7 +179,7 @@ plugins-=remove-me option uses a built-in DHCP client which is not currently as featureful as the external clients.</para> <para>If this key is missing, it defaults to <literal>&NM_CONFIG_DEFAULT_MAIN_DHCP;</literal>. - It the chosen plugin is not available, clients are looked for + If the chosen plugin is not available, clients are looked for in this order: <literal>dhclient</literal>, <literal>dhcpcd</literal>, <literal>internal</literal>.</para></listitem> </varlistentry> |