summaryrefslogtreecommitdiff
path: root/accounts/gkleen@sif/xmonad/lib/XMonad/Prompt/MySsh.hs
blob: 729941aaf094a48d7428268736ef866eec7031c6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
module XMonad.Prompt.MySsh
    ( -- * Usage
      -- $usage
      sshPrompt,
      Ssh,
      Override (..),
      mkOverride,
      Conn (..),
      moshCmd,
      moshCmd',
      sshCmd,
      inTmux,
      withEnv
    ) where

import XMonad
import XMonad.Util.Run
import XMonad.Prompt

import System.Directory
import System.Environment
import qualified Control.Exception as E

import Control.Monad
import Data.Maybe

import Text.Parsec.String
import Text.Parsec
import Data.Char (isSpace)

econst :: Monad m => a -> E.IOException -> m a
econst = const . return

-- $usage
-- 1. In your @~\/.xmonad\/xmonad.hs@:
--
-- > import XMonad.Prompt
-- > import XMonad.Prompt.Ssh
--
-- 2. In your keybindings add something like:
--
-- >   , ((modm .|. controlMask, xK_s), sshPrompt defaultXPConfig)
--
-- Keep in mind, that if you want to use the completion you have to
-- disable the "HashKnownHosts" option in your ssh_config
--
-- For detailed instruction on editing the key binding see
-- "XMonad.Doc.Extending#Editing_key_bindings".

data Override = Override
                { oUser :: Maybe String
                , oHost :: String
                , oPort :: Maybe Int
                , oCommand :: Conn -> String
                }

mkOverride = Override { oUser = Nothing, oHost = "", oPort = Nothing, oCommand = sshCmd }
sshCmd c = concat
           [ "ssh -t "
           , if isJust $ cUser c then (fromJust $ cUser c) ++ "@" else ""
           , cHost c
           , if isJust $ cPort c then " -p " ++ (show $ fromJust $ cPort c) else ""
           , " -- "
           , cCommand c
           ]
moshCmd c = concat
            [ "mosh "
            , if isJust $ cUser c then (fromJust $ cUser c) ++ "@" else ""
            , cHost c
            , if isJust $ cPort c then " --ssh=\"ssh -p " ++ (show $ fromJust $ cPort c) ++ "\"" else ""
            , " -- "
            , cCommand c
            ]
moshCmd' p c = concat
            [ "mosh "
            , "--server=" ++ p ++ " "
            , if isJust $ cUser c then (fromJust $ cUser c) ++ "@" else ""
            , cHost c
            , if isJust $ cPort c then " --ssh=\"ssh -p " ++ (show $ fromJust $ cPort c) ++ "\"" else ""
            , " -- "
            , cCommand c
            ]
inTmux Nothing c
  | null $ cCommand c = c { cCommand = "tmux new-session" }
  | otherwise = c { cCommand = "tmux new-session \"" ++ (cCommand c) ++  "\"" }
inTmux (Just h) c
  | null $ cCommand c = c { cCommand = "tmux new-session -As " <> h }
  | otherwise = c { cCommand = "tmux new-session \"" ++ (cCommand c) ++  "\"" }
withEnv :: [(String, String)] -> Conn -> Conn
withEnv envs c = c { cCommand = "env" ++ (concat $ map (\(n, v) -> ' ' : (n ++ "=" ++ v)) envs) ++ " " ++ (cCommand c) }
             
data Conn = Conn
            { cUser :: Maybe String
            , cHost :: String
            , cPort :: Maybe Int
            , cCommand :: String
            } deriving (Eq, Show, Read)

data Ssh = Ssh

instance XPrompt Ssh where
  showXPrompt       Ssh = "SSH to: "
  commandToComplete _ c = c
  nextCompletion      _ = getNextCompletion

toConn :: String -> Maybe Conn
toConn = toConn' . parse connParser "(unknown)"
toConn' :: Either ParseError Conn -> Maybe Conn
toConn' (Left _) = Nothing
toConn' (Right a) = Just a

connParser :: Parser Conn
connParser = do
  spaces
  user' <- optionMaybe $ try $ do
    str <- many1 $ satisfy (\c -> (not $ isSpace c) && (c /= '@'))
    char '@'
    return str
  host' <- many1 $ satisfy (not . isSpace)
  port' <- optionMaybe $ try $ do
    space
    string "-p"
    spaces
    int <- many1 digit
    (space >> return ()) <|> eof
    return $ (read int :: Int)
  spaces
  command' <- many anyChar
  eof
  return $ Conn
         { cHost = host'
         , cUser = user'
         , cPort = port'
         , cCommand = command'
         }

sshPrompt :: [Override] -> XPConfig -> X ()
sshPrompt o c = do
  sc <- io sshComplList
  mkXPrompt Ssh c (mkComplFunFromList sc) $ ssh o

ssh :: [Override] -> String -> X ()
ssh overrides str = do
  let cmd = applyOverrides overrides str
  liftIO $ putStr "SSH Command: "
  liftIO $ putStrLn cmd
  runInTerm "" cmd

applyOverrides :: [Override] -> String -> String
applyOverrides [] str = "ssh " ++ str
applyOverrides (o:os) str = case (applyOverride o str) of
  Just str -> str
  Nothing -> applyOverrides os str

applyOverride :: Override -> String -> Maybe String
applyOverride o str = let
  conn = toConn str
  in
   if isNothing conn then Nothing else
     case (fromJust conn) `matches` o of
       True -> Just $ (oCommand o) (fromJust conn)
       False -> Nothing

matches :: Conn -> Override -> Bool
a `matches` b = and
                [ justBool (cUser a) (oUser b) (==)
                , (cHost a) == (oHost b)
                , justBool (cPort a) (oPort b) (==)
                ]

justBool :: Eq a => Maybe a -> Maybe a -> (a -> a -> Bool) -> Bool
justBool Nothing _ _ = True
justBool _ Nothing _ = True
justBool (Just a) (Just b) match = a `match` b

sshComplList :: IO [String]
sshComplList = uniqSort `fmap` liftM2 (++) sshComplListLocal sshComplListGlobal

sshComplListLocal :: IO [String]
sshComplListLocal = do
  h <- getEnv "HOME"
  s1 <- sshComplListFile $ h ++ "/.ssh/known_hosts"
  s2 <- sshComplListConf $ h ++ "/.ssh/config"
  return $ s1 ++ s2

sshComplListGlobal :: IO [String]
sshComplListGlobal = do
  env <- getEnv "SSH_KNOWN_HOSTS" `E.catch` econst "/nonexistent"
  fs <- mapM fileExists [ env
                        , "/usr/local/etc/ssh/ssh_known_hosts"
                        , "/usr/local/etc/ssh_known_hosts"
                        , "/etc/ssh/ssh_known_hosts"
                        , "/etc/ssh_known_hosts"
                        ]
  case catMaybes fs of
    []    -> return []
    (f:_) -> sshComplListFile' f

sshComplListFile :: String -> IO [String]
sshComplListFile kh = do
  f <- doesFileExist kh
  if f then sshComplListFile' kh
       else return []

sshComplListFile' :: String -> IO [String]
sshComplListFile' kh = do
  l <- readFile kh
  return $ map (getWithPort . takeWhile (/= ',') . concat . take 1 . words)
         $ filter nonComment
         $ lines l

sshComplListConf :: String -> IO [String]
sshComplListConf kh = do
  f <- doesFileExist kh
  if f then sshComplListConf' kh
       else return []

sshComplListConf' :: String -> IO [String]
sshComplListConf' kh = do
  l <- readFile kh
  return $ map (!!1)
         $ filter isHost
         $ map words
         $ lines l
 where
   isHost ws = take 1 ws == ["Host"] && length ws > 1

fileExists :: String -> IO (Maybe String)
fileExists kh = do
  f <- doesFileExist kh
  if f then return $ Just kh
       else return Nothing

nonComment :: String -> Bool
nonComment []      = False
nonComment ('#':_) = False
nonComment ('|':_) = False -- hashed, undecodeable
nonComment _       = True

getWithPort :: String -> String
getWithPort ('[':str) = host ++ " -p " ++ port
    where (host,p) = break (==']') str
          port = case p of
                   ']':':':x -> x
                   _         -> "22"
getWithPort  str = str