From 8eb7f5fce89029ffce390615580104afdf4b32b6 Mon Sep 17 00:00:00 2001 From: Donatas Abraitis Date: Mon, 20 Jun 2022 22:44:29 +0300 Subject: [PATCH] doc: Specify preference for RPKI cache server Signed-off-by: Donatas Abraitis --- doc/user/rpki.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/user/rpki.rst b/doc/user/rpki.rst index b92332c173..cc0e7f70c6 100644 --- a/doc/user/rpki.rst +++ b/doc/user/rpki.rst @@ -120,7 +120,7 @@ The following commands are independent of a specific cache server. The default value is 600 seconds. -.. clicmd:: rpki cache (A.B.C.D|WORD) PORT [SSH_USERNAME] [SSH_PRIVKEY_PATH] [KNOWN_HOSTS_PATH] [source A.B.C.D] PREFERENCE +.. clicmd:: rpki cache (A.B.C.D|WORD) PORT [SSH_USERNAME] [SSH_PRIVKEY_PATH] [KNOWN_HOSTS_PATH] [source A.B.C.D] preference (1-255) Add a cache server to the socket. By default, the connection between router -- 2.39.5