etc/options
changeset 76168 aab9bb081f01
parent 76167 e517a38dc0e6
child 76190 c72c5407a86f
equal deleted inserted replaced
76167:e517a38dc0e6 76168:aab9bb081f01
   287   -- "excluded markup elements for spell-checker (separated by commas)"
   287   -- "excluded markup elements for spell-checker (separated by commas)"
   288 
   288 
   289 
   289 
   290 section "Secure Shell"
   290 section "Secure Shell"
   291 
   291 
       
   292 option ssh_batch_mode : bool = true
       
   293   -- "enable SSH batch mode (no user interaction)"
       
   294 
   292 option ssh_multiplexing : bool = true
   295 option ssh_multiplexing : bool = true
   293   -- "enable multiplexing of SSH sessions (ignored on Windows)"
   296   -- "enable multiplexing of SSH sessions (ignored on Windows)"
   294 
   297 
   295 option ssh_compression : bool = true
   298 option ssh_compression : bool = true
   296   -- "enable SSH compression"
   299   -- "enable SSH compression"