Logs: liberachat/#xmonad
| 2022-07-21 17:16:57 | → | jao joins (~jao@92.233.85.247) |
| 2022-07-21 17:21:14 | × | aliosablack quits (~chomwitt@2a02:587:dc00:5a00:73ad:509c:ee84:62f2) (Ping timeout: 268 seconds) |
| 2022-07-21 17:22:11 | <valarMorghulis[m> | <geekosaur> "> "abc" `elem` ["abc", "fgh", "..." <- It's in backticks, but it's not visible in here due to the highlighting |
| 2022-07-21 17:23:27 | <valarMorghulis[m> | `elem i ["code", "term"]` doesn't work either |
| 2022-07-21 17:23:38 | <valarMorghulis[m> | Gives the same error |
| 2022-07-21 17:24:24 | <geekosaur> | can you show a bit more code so I can see where `i` is coming from more directly? |
| 2022-07-21 17:24:43 | <valarMorghulis[m> | <geekosaur> "oh, how are you getting `i..." <- Ooh |
| 2022-07-21 17:24:49 | <geekosaur> | right, your original paste shows `where i = gets … |
| 2022-07-21 17:24:51 | <valarMorghulis[m> | geekosaur: Okay |
| 2022-07-21 17:25:10 | <geekosaur> | that won't work, it needs to be inside a `do` and use `<-` (or use (>>=)) |
| 2022-07-21 17:25:53 | <valarMorghulis[m> | geekosaur: ```... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/3fa378fc3055b882177cb3f9b5417f567336a1e6) |
| 2022-07-21 17:26:16 | <valarMorghulis[m> | geekosaur: Oo I see |
| 2022-07-21 17:26:17 | <geekosaur> | but I'd have expected that to throw a different error because it needs `MonadState XState` and a list won't have that |
| 2022-07-21 17:26:47 | <geekosaur> | so this needs to be in X, not pure |
| 2022-07-21 17:27:11 | <geekosaur> | and if that causes you issues in a `manageHook` then you need to look into `liftX` |
| 2022-07-21 17:29:08 | <valarMorghulis[m> | geekosaur: Is this what you meant? |
| 2022-07-21 17:29:10 | <valarMorghulis[m> | manageWorkspace :: (WorkspaceId -> Bool) -> ManageHook -> ManageHook -> ManageHook... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/d84829d5b2a9d699c86b334ba762793375f8463f) |
| 2022-07-21 17:29:29 | <geekosaur> | still wrong |
| 2022-07-21 17:31:29 | <valarMorghulis[m> | Ok, ig this is beyond my scope |
| 2022-07-21 17:34:25 | <geekosaur> | https://paste.tomsmeding.com/Z1OklRzk |
| 2022-07-21 17:35:08 | <geekosaur> | which I just typechecked locally and it's valid |
| 2022-07-21 17:47:07 | <geekosaur> | presuming you've been introduced to monads, `ManageHook` is `Query Bool` and `Query a` is `ReaderT Window X a` |
| 2022-07-21 17:48:00 | <geekosaur> | (`liftX` isn't strictly necessary but helps reduce oddball error messages; `lift` would work just as well) |
| 2022-07-21 17:48:22 | Digit | attempts issue openbox's Restart with command xmonad, ... faking confidence it will work, and that he'll restore his dustry fledgling haskell-fu to be able to have xmonad.hs offer keybinds to switch to both openbox and herbstluftwm ... ~ blahblahprocrastinating on pushing the button to find out if i remain here, or am restarting my wm session... |
| 2022-07-21 17:49:20 | <geekosaur> | I'd consider it a bug if a Restart action crashed your session (unless something was seriously wrong with your xmonad config) |
| 2022-07-21 17:49:59 | <Digit> | woot! still here. that worked. :) now i'm back in xmonad! mmmm. it's been years. good sign i'm mending well, getting back to xmonad. :) |
| 2022-07-21 17:50:18 | <geekosaur> | and you can, if you want to switch window managers in xmonad, use `restart "otherWindowManager" False` |
| 2022-07-21 17:50:46 | <geekosaur> | (`True` would attempt to pass it state, but non-xmonad won't understand that state) |
| 2022-07-21 19:00:57 | × | alternateved quits (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 2022-07-21 19:07:18 | × | ml| quits (~ml|@user/ml/x-5298235) (Ping timeout: 240 seconds) |
| 2022-07-21 19:21:45 | → | ml| joins (~ml|@user/ml/x-5298235) |
| 2022-07-21 19:23:41 | <valarMorghulis[m> | <geekosaur> "https://paste.tomsmeding.com/..." <- Thank you soo much for taking your time out for helping me |
| 2022-07-21 19:23:48 | <valarMorghulis[m> | It does work now |
| 2022-07-21 19:24:30 | <valarMorghulis[m> | <geekosaur> "presuming you've been introduced..." <- I've a fair bit of knowledge about monads, but this is kinda going over my head now |
| 2022-07-21 19:25:31 | <valarMorghulis[m> | `Just` looks pretty complicated to me |
| 2022-07-21 19:25:31 | <valarMorghulis[m> | I've just started haskell 2 months ago. Hope I'll get better at this soon |
| 2022-07-21 19:25:41 | <geekosaur> | about monads, or about IO? you need a little more for a monad stack (and this is arguably a double stack, but that shouldn't matter too much) |
| 2022-07-21 19:28:13 | <valarMorghulis[m> | And the code I wrote with `where` looks really similar to this, I don't get how these are dif, but it works |
| 2022-07-21 19:29:00 | <geekosaur> | <- does something different from = |
| 2022-07-21 19:29:35 | <geekosaur> | specifically it uses `>>=` to run an action and bind its result |
| 2022-07-21 19:30:00 | <valarMorghulis[m> | geekosaur: Aah ya, until now I didnt bother worrying about it cz they worked almost same, I gotta check more on these |
| 2022-07-21 19:30:26 | <geekosaur> | if you haven't discovered >>= or <- then you haven't really worked with monads |
| 2022-07-21 19:30:36 | <geekosaur> | @where iotut |
| 2022-07-21 19:30:36 | <lambdabot> | https://www.vex.net/~trebla/haskell/IO.xhtml |
| 2022-07-21 19:30:54 | <geekosaur> | with a few changes this is also applicable to xmonad and X in place of IO |
| 2022-07-21 19:31:03 | <geekosaur> | (and Query in place of X) |
| 2022-07-21 19:31:13 | <valarMorghulis[m> | geekosaur: I've worked with >>= but don't underatnd it fully |
| 2022-07-21 19:31:23 | <geekosaur> | oh also I misspoke earlier, ManageHook is Query (Endo WindowSet) |
| 2022-07-21 19:31:44 | <valarMorghulis[m> | And I've used <- this a lot, but I used it as = in a do block |
| 2022-07-21 19:31:49 | <valarMorghulis[m> | I've been doing things wrong |
| 2022-07-21 19:31:50 | <valarMorghulis[m> | I see |
| 2022-07-21 19:31:57 | <geekosaur> | it's more complicated than = |
| 2022-07-21 19:32:32 | <geekosaur> | you can still do let … = in a do block, for pure stuff. but non-pure stuff (running actions) needs <- |
| 2022-07-21 19:33:46 | <valarMorghulis[m> | I see, ig I'll start going through a guide to get my basics in haskell strong |
| 2022-07-21 19:58:47 | → | aliosablack joins (~chomwitt@2a02:587:dc00:5a00:df58:8e7a:3d48:e2d2) |
| 2022-07-21 20:51:21 | × | aliosablack quits (~chomwitt@2a02:587:dc00:5a00:df58:8e7a:3d48:e2d2) (Ping timeout: 276 seconds) |
| 2022-07-21 21:31:49 | × | Digit quits (~user@user/digit) (Remote host closed the connection) |
| 2022-07-21 23:38:14 | → | Digit joins (~user@user/digit) |
| 2022-07-21 23:59:41 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-22 01:21:37 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 268 seconds) |
| 2022-07-22 02:04:18 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 264 seconds) |
| 2022-07-22 02:06:38 | × | defjam quits (~eb0t@33ba5db9.skybroadband.com) (Ping timeout: 268 seconds) |
| 2022-07-22 02:08:22 | → | defjam joins (~eb0t@33bb4bbf.skybroadband.com) |
| 2022-07-22 02:21:34 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2022-07-22 02:53:30 | × | td_ quits (~td@muedsl-82-207-238-040.citykom.de) (Ping timeout: 268 seconds) |
| 2022-07-22 02:55:06 | → | td_ joins (~td@94.134.91.35) |
| 2022-07-22 02:59:28 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-22 03:48:42 | × | jao quits (~jao@92.233.85.247) (Ping timeout: 264 seconds) |
| 2022-07-22 06:17:33 | → | aliosablack joins (~chomwitt@2a02:587:dc00:5a00:a30f:25f3:2147:e7c2) |
| 2022-07-22 06:21:08 | <chismoso[m]> | cabal installed xmonad. After editing xmobar.hs recompiling does not make any changes. Only after a log out and in the changes come to effect. |
| 2022-07-22 06:23:32 | → | alternateved joins (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-22 06:38:08 | × | alternateved quits (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 2022-07-22 07:18:22 | → | benin0 joins (~benin@183.82.24.116) |
| 2022-07-22 07:22:26 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds) |
| 2022-07-22 08:21:39 | → | cfricke joins (~cfricke@user/cfricke) |
| 2022-07-22 08:36:00 | Digit | marks a note of success, for himself, and xmonad, that his old "tabularboonad" (i think not updated since 0.13), works (compiles) with 0.15. ~(and oh how crisp my system feels agaain, compared to openbox or herbstluftwm) :) :) :) <3 xmonad. good to be back. Digit issues xmonad --restart, and goes giddy happy, bouncing off walls. |
| 2022-07-22 09:00:17 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2022-07-22 09:01:13 | <mc47> | Digit happy for you! |
| 2022-07-22 09:02:12 | <mc47> | geekosaur, liskin, Solid: https://munihac.de/2022 |
| 2022-07-22 09:02:38 | <mc47> | It's a haskell hackathon in Munich, so I'm definitely going |
| 2022-07-22 09:03:05 | <mc47> | (if i'm in munich, my life isn't planned that far yet) |
| 2022-07-22 09:03:43 | <mc47> | and: we can do workshops, so it might be a good idea to offer an xmonad configuration from the scratch workshop |
| 2022-07-22 09:35:38 | × | MrElendig quits (~Urist@archlinux/op/MrElendig) (Quit: rebooting the world) |
| 2022-07-22 09:36:58 | → | MrElendig joins (~Urist@archlinux/op/MrElendig) |
| 2022-07-22 10:08:54 | × | aliosablack quits (~chomwitt@2a02:587:dc00:5a00:a30f:25f3:2147:e7c2) (Ping timeout: 276 seconds) |
| 2022-07-22 10:19:17 | × | hexo_ quits (~hexo@188-167-252-189.dynamic.chello.sk) (Ping timeout: 268 seconds) |
| 2022-07-22 10:21:40 | → | alternateved joins (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-22 10:26:17 | × | thunderrd quits (~thunderrd@183.182.114.103) (Ping timeout: 272 seconds) |
| 2022-07-22 10:27:51 | → | dschrempf joins (~dominik@2a01-036d-0118-b0ba-8d35-1e52-9576-78e6.pool6.digikabel.hu) |
| 2022-07-22 10:29:41 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-07-22 11:03:48 | × | dschrempf quits (~dominik@2a01-036d-0118-b0ba-8d35-1e52-9576-78e6.pool6.digikabel.hu) (Quit: WeeChat 3.6) |
| 2022-07-22 11:31:02 | <geekosaur> | chismoso[m], that will depend on how you have xmobar set up to start which to some extent will depend on your xmonad and possibly session startup |
| 2022-07-22 11:31:08 | <geekosaur> | @where paste |
| 2022-07-22 11:31:08 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-07-22 11:59:58 | → | cfricke joins (~cfricke@user/cfricke) |
| 2022-07-22 13:23:31 | × | alternateved quits (~user@staticline-31-183-144-54.toya.net.pl) (Read error: Connection reset by peer) |
| 2022-07-22 13:25:38 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-22 13:26:11 | → | alternateved joins (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-22 13:45:13 | <chismoso[m]> | <geekosaur> "chismoso, that will depend on..." <- Starting with deskstop entry pointing to .cabal/bin/xmonad. recompile also works with this path only. xmonad --recompile says command not found. |
| 2022-07-22 13:46:24 | <geekosaur> | add ~/.cabal/bin to your $PATH, or change installdir in your ~/.cabal/config to point to a directory in your $PATH |
All times are in UTC.