Git Product home page Git Product logo

Comments (8)

slotThe avatar slotThe commented on June 26, 2024

from xmonad.

rainer2208 avatar rainer2208 commented on June 26, 2024

Cool, haven't tried the recompile command, very useful ..

There are indeed a few errors, even after changing the code to confirmPrompt def "exit" $ io (exitWith ExitSuccess) and installing 'xmessage'

xmonad.hs:160:7: error:
    • Couldn't match expected type: ((KeyMask, KeySym), X ())
                  with actual type: (KeyMask, KeySym, X ())
    • In the expression:
        (modMask .|. shiftMask, xK_y, 
         confirmPrompt def "exit" $ io (exitWith ExitSuccess))
      In the first argument of ‘(++)’, namely
        ‘[((modMask, xK_Return), spawn myTerminal),
          ((modMask, xK_d), 
           spawn "exe=`dmenu_path | dmenu` && eval \"exec $exe\""),
          ((modMask, xK_i), spawn myBrowser),
          ((modMask, xK_F12), spawn "rofi -show drun"), ....]’
      In the second argument of ‘($)’, namely
        ‘[((modMask, xK_Return), spawn myTerminal),
          ((modMask, xK_d), 
           spawn "exe=`dmenu_path | dmenu` && eval \"exec $exe\""),
          ((modMask, xK_i), spawn myBrowser),
          ((modMask, xK_F12), spawn "rofi -show drun"), ....]
           ++
             [((m .|. modMask, k), windows $ f i) |
                (i, k) <- zip (XMonad.workspaces conf) [xK_1 .. xK_9],
                (f, m) <- [(W.greedyView, 0), (W.shift, shiftMask)]]
               ++
                 [((m .|. modMask, key), 
                   screenWorkspace sc >>= flip whenJust (windows . f)) |
                    (key, sc) <- zip [xK_w, xK_e, xK_r] [0 .. ],
                    (f, m) <- [(W.view, 0), (W.shift, shiftMask)]]’
    |
160 |     , (modMask .|. shiftMask, xK_y,  confirmPrompt def "exit" $ io (exitWith ExitSuccess))
    |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Please check the file for errors.

Warning: Missing charsets in String to FontSet conversion                   
Warning: Cannot convert string "-*-fixed-medium-r-normal-*-18-*-*-*-*-*-*-*,-*-fixed-*-*-*-*-18-*-*-*-*-*-*-*,-*-*-*-*-*-*-18-*-*-*-*-*-*-*" to type FontSet
 ~ ▓▒░ Warning: Missing charsets in String to FontSet conversiont 12:24:36 
 ~ ▓▒░          

from xmonad.

geekosaur avatar geekosaur commented on June 26, 2024

The error is telling you that (a,b,c) and ((a,b),c) are two different things.

The warning is the font issue @slotThe mentioned; but since xmonad didn't recompile successfully, it's probably from xmessage.

from xmonad.

rainer2208 avatar rainer2208 commented on June 26, 2024

I actually used the code that was provided ...

How do I get around the error ?

from xmonad.

geekosaur avatar geekosaur commented on June 26, 2024

The code you initially showed was

((modm , xK_l), confirmPrompt defaultXPConfig "exit" $ io (exitWith ExitSuccess))

which is correct. The code the error message shows is

(modMask .|. shiftMask, xK_y, confirmPrompt def "exit" $ io (exitWith ExitSuccess))

which is wrong (it's a 3-tuple instead of a nested tuple). Use the first one.

from xmonad.

rainer2208 avatar rainer2208 commented on June 26, 2024

many thanks for all the inputs, guys, I can't imagine the necessary to actually build xmonad..

That is the line that actually solved it, besides installing xmessage:

, ((modMask .|. shiftMask , xK_y ), confirmPrompt def "exit" $ io exitSuccess)

from xmonad.

slotThe avatar slotThe commented on June 26, 2024

from xmonad.

rainer2208 avatar rainer2208 commented on June 26, 2024

will do ....

from xmonad.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.