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 fw_entry (k:regexp) = [ indent . key k . spc .
  58             [ key /[^ \t\r\n\/]+/ . spc . value_to_eol . eol ]]
  59
  60     let send_env = array_entry /SendEnv/i
  61
  62     let proxy_command = [ indent . key /ProxyCommand/i . spc . value_to_eol . eol ]
  63
  64     let remote_fw = fw_entry /RemoteForward/i
  65     let local_fw = fw_entry /LocalForward/i
  66
  67     let ciphers = commas_entry /Ciphers/i
  68     let macs    = commas_entry /MACs/i
  69
  70     let special_entry = send_env
  71                             | proxy_command
  72                             | remote_fw
  73                             | local_fw
  74                             | macs
  75                             | ciphers
  76
  77     let key_re = /[A-Za-z0-9]+/
  78                - /SendEnv|Host|ProxyCommand|RemoteForward|LocalForward|MACs|Ciphers/i
  79
  80
  81     let other_entry = [ indent . key key_re
  82                     . spc . value_to_spc . eol ]
  83
  84     let entry = comment | empty
  85               | special_entry
  86                     | other_entry
  87
  88     let host = [ key /Host/i . spc . value_to_eol . eol . entry* ]
  89
  90
  91 (************************************************************************
  92  * Group:                 LENS
  93  *************************************************************************)
  94
  95     let lns = entry* . host*
  96
  97     let xfm = transform lns (incl "/etc/ssh/ssh_config" .
  98                              incl (Sys.getenv("HOME") . "/.ssh/config"))