From 69e8fbc9ddcda8352877be99ca8aa8dea4a33d50 Mon Sep 17 00:00:00 2001 From: ndwarshuis Date: Mon, 12 Aug 2024 09:55:08 -0400 Subject: [PATCH] ADD cifs domain option --- app/rofi-dev.hs | 1 + dhall/rofi-dev.dhall | 2 ++ 2 files changed, 3 insertions(+) diff --git a/app/rofi-dev.hs b/app/rofi-dev.hs index e6d28b5..93c5d57 100644 --- a/app/rofi-dev.hs +++ b/app/rofi-dev.hs @@ -462,6 +462,7 @@ fromCIFSOpts o = T.intercalate "," $ mapMaybe concatMaybe fs fs = [ ("username", cifsoptsUsername) , ("workgroup", cifsoptsWorkgroup) + , ("domain", cifsoptsDomain) , ("uid", fmap (T.pack . show) . cifsoptsUID) , ("gid", fmap (T.pack . show) . cifsoptsGID) , ("iocharset", cifsoptsIocharset) diff --git a/dhall/rofi-dev.dhall b/dhall/rofi-dev.dhall index c70033e..41b23d9 100644 --- a/dhall/rofi-dev.dhall +++ b/dhall/rofi-dev.dhall @@ -24,6 +24,7 @@ let CIFSOpts = { Type = { cifsoptsUsername : Optional Text , cifsoptsWorkgroup : Optional Text + , cifsoptsDomain : Optional Text , cifsoptsUID : Optional Natural , cifsoptsGID : Optional Natural , cifsoptsIocharset : Optional Text @@ -31,6 +32,7 @@ let CIFSOpts = , default = { cifsoptsUsername = None Text , cifsoptsWorkgroup = None Text + , cifsoptsDomain = None Text , cifsoptsUID = None Natural , cifsoptsGID = None Natural , cifsoptsIocharset = None Text