lenses/ssh.aug

   1 (*
   2 Module: Ssh
   3   Parses ssh client configuration
   4
   5 Author: Jiri Suchomel <jsuchome@suse.cz>
   6
   7 About: Reference
   8     ssh_config man page
   9
  10 About: License
  11     This file is licensed under the GPL.
  12
  13 About: Lens Usage
  14   Sample usage of this lens in augtool
  15
  16 (start code)
  17 augtool> set /files/etc/ssh/ssh_config/Host example.com
  18 augtool> set /files/etc/ssh/ssh_config/Host[.='example.com']/RemoteForward/machine1:1234 machine2:5678
  19 augtool> set /files/etc/ssh/ssh_config/Host[.='example.com']/Ciphers/1 aes128-ctr
  20 augtool> set /files/etc/ssh/ssh_config/Host[.='example.com']/Ciphers/2 aes192-ctr
  21 (end code)
  22
  23 *)
  24
  25 module Ssh =
  26     autoload xfm
  27
  28 (************************************************************************
  29  * Group:                 USEFUL PRIMITIVES
  30  *************************************************************************)
  31
  32     let eol = Util.doseol
  33     let spc = Util.del_ws_spc
  34
  35     let comment = Util.comment
  36     let empty = Util.empty
  37     let comma = Util.del_str ","
  38     let indent = Util.indent
  39     let value_to_eol = store Rx.space_in
  40     let value_to_spc = store Rx.no_spaces
  41     let value_to_comma = store /[^, \t\r\n]+/
  42
  43
  44 (************************************************************************
  45  * Group:                 ENTRIES
  46  *************************************************************************)
  47
  48     let array_entry (k:regexp) =
  49         [ indent . key k . counter "array_entry"
  50          . [ spc . seq "array_entry" . value_to_spc]* . eol ]
  51
  52     let commas_entry (k:regexp) =
  53          let value = [ seq "commas_entry" . value_to_comma]
  54       in [ indent . key k . counter "commas_entry" . spc .
  55            Build.opt_list value comma . eol ]
  56
  57     let spaces_entry (k:regexp) =
  58          let value = [ seq "spaces_entry" . value_to_spc ]
  59       in [ indent . key k . counter "spaces_entry" . spc .
  60            Build.opt_list value spc . eol ]
  61
  62     let fw_entry (k:regexp) = [ indent . key k . spc .
  63             [ key /[^ \t\r\n\/]+/ . spc . value_to_eol . eol ]]
  64
  65     let send_env = array_entry /SendEnv/i
  66
  67     let proxy_command = [ indent . key /ProxyCommand/i . spc . value_to_eol . eol ]
  68
  69     let remote_fw = fw_entry /RemoteForward/i
  70     let local_fw = fw_entry /LocalForward/i
  71
  72     let ciphers = commas_entry /Ciphers/i
  73     let macs    = commas_entry /MACs/i
  74     let algorithms = commas_entry /(HostKey|Kex)Algorithms/i
  75     let pubkey_accepted_key_types = commas_entry /PubkeyAcceptedKeyTypes/i
  76
  77     let global_knownhosts_file = spaces_entry /GlobalKnownHostsFile/i
  78
  79     let special_entry = send_env
  80                             | proxy_command
  81                             | remote_fw
  82                             | local_fw
  83                             | macs
  84                             | ciphers
  85                             | algorithms
  86                             | pubkey_accepted_key_types
  87                       | global_knownhosts_file
  88
  89     let key_re = /[A-Za-z0-9]+/
  90                - /SendEnv|Host|ProxyCommand|RemoteForward|LocalForward|MACs|Ciphers|(HostKey|Kex)Algorithms|PubkeyAcceptedKeyTypes|GlobalKnownHostsFile/i
  91
  92
  93     let other_entry = [ indent . key key_re
  94                     . spc . value_to_spc . eol ]
  95
  96     let entry = comment | empty
  97               | special_entry
  98                     | other_entry
  99
 100     let host = [ key /Host/i . spc . value_to_eol . eol . entry* ]
 101
 102
 103 (************************************************************************
 104  * Group:                 LENS
 105  *************************************************************************)
 106
 107     let lns = entry* . host*
 108
 109     let xfm = transform lns (incl "/etc/ssh/ssh_config" .
 110                              incl (Sys.getenv("HOME") . "/.ssh/config") .
 111                              incl "/etc/ssh/ssh_config.d/*.conf")