2020-05-28 23:17:17 -04:00
|
|
|
{-# LANGUAGE OverloadedStrings #-}
|
|
|
|
|
2021-06-21 23:41:57 -04:00
|
|
|
module Xmobar.Plugins.Device
|
|
|
|
( Device(..)
|
|
|
|
, devBus
|
|
|
|
, devPath
|
|
|
|
) where
|
2020-05-28 23:17:17 -04:00
|
|
|
|
|
|
|
-- TOOD this name can be more general
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
-- | Ethernet plugin
|
|
|
|
--
|
|
|
|
-- Display different text depending on whether or not the interface has
|
|
|
|
-- connectivity
|
|
|
|
|
|
|
|
|
|
|
|
import Control.Monad
|
|
|
|
|
|
|
|
import Data.Word
|
|
|
|
|
|
|
|
import DBus
|
|
|
|
import DBus.Client
|
|
|
|
|
|
|
|
import XMonad.Hooks.DynamicLog (xmobarColor)
|
2021-06-19 00:54:01 -04:00
|
|
|
import Xmobar
|
2020-05-28 23:17:17 -04:00
|
|
|
|
|
|
|
data Device = Device (String, String, String, String) Int
|
|
|
|
deriving (Read, Show)
|
|
|
|
|
2021-06-21 23:41:57 -04:00
|
|
|
devBus :: BusName
|
|
|
|
devBus = "org.freedesktop.NetworkManager"
|
|
|
|
|
|
|
|
devPath :: ObjectPath
|
|
|
|
devPath = "/org/freedesktop/NetworkManager"
|
2020-05-28 23:17:17 -04:00
|
|
|
|
|
|
|
getDevice :: Client -> String -> IO (Maybe ObjectPath)
|
|
|
|
getDevice client iface = do
|
2021-06-21 23:41:57 -04:00
|
|
|
let mc = methodCall devPath
|
2020-05-28 23:17:17 -04:00
|
|
|
"org.freedesktop.NetworkManager" "GetDeviceByIpIface"
|
|
|
|
reply <- call client $ mc { methodCallBody = [toVariant iface]
|
2021-06-21 23:41:57 -04:00
|
|
|
, methodCallDestination = Just devBus
|
2020-05-28 23:17:17 -04:00
|
|
|
}
|
|
|
|
return $ case reply of
|
|
|
|
Left _ -> Nothing
|
|
|
|
Right b -> case methodReturnBody b of
|
|
|
|
[objectPath] -> fromVariant objectPath
|
|
|
|
_ -> Nothing
|
|
|
|
|
|
|
|
getDeviceConnected :: Client -> ObjectPath -> IO (Maybe Bool)
|
|
|
|
getDeviceConnected client objectPath = do
|
|
|
|
let mc = methodCall objectPath
|
|
|
|
"org.freedesktop.NetworkManager.Device"
|
|
|
|
"Ip4Connectivity"
|
|
|
|
either (const Nothing) (fmap ((> 1) :: Word32 -> Bool) . fromVariant)
|
2021-06-21 23:41:57 -04:00
|
|
|
<$> getProperty client mc { methodCallDestination = Just devBus }
|
2020-05-28 23:17:17 -04:00
|
|
|
|
|
|
|
instance Exec Device where
|
|
|
|
alias (Device (iface, _, _, _) _) = iface
|
|
|
|
rate (Device _ r) = r
|
|
|
|
run (Device (iface, text, colorOn, colorOff) _) = do
|
|
|
|
client <- connectSystem
|
|
|
|
dev <- getDevice client iface
|
|
|
|
state <- join <$> mapM (getDeviceConnected client) dev
|
|
|
|
disconnect client
|
|
|
|
return $ maybe "N/A" fmt state
|
|
|
|
where
|
|
|
|
fmt s = xmobarColor (if s then colorOn else colorOff) "" text
|