Logs: liberachat/#xmonad
| 2024-04-25 09:34:56 | <acidbong> | hi there, hello |
| 2024-04-25 09:34:56 | <acidbong> | I'm trying to configure xmonad on NixOS, and their docs recommend `launch` as an entry function instead of `xmonad`. This is what my config looks like at the moment (https://termbin.com/g6jh) (i'm writing it from scratch), so a bit of a syntax question: if I don't define `myConfig` separately, how do I append `dirs` to the original `launch $ def {...}`? |
| 2024-04-25 09:39:24 | <[Leary]> | acidbong: The correct /syntax/ is to enclose the config argument in brackets: `launch (def { ... } `additionalKeysP` [ ... ]) dirs`, but this tends to ugliness. Using a separate binding is a fine solution. One other approach is: `flip launch dirs def {...} ...` |
| 2024-04-25 09:42:05 | <acidbong> | is flip a builtin function? |
| 2024-04-25 09:42:10 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Quit: WeeChat 4.2.1) |
| 2024-04-25 09:42:14 | <[Leary]> | @src flip |
| 2024-04-25 09:42:14 | <lambdabot> | flip f x y = f y x |
| 2024-04-25 09:42:22 | <[Leary]> | (nope) |
| 2024-04-25 09:42:47 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 09:43:11 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Client Quit) |
| 2024-04-25 09:43:33 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 09:43:51 | <acidbong> | i mean, not a part of an external package (dunno the exact haskell slang) |
| 2024-04-25 09:44:09 | <[Leary]> | It's provided by the Prelude, so it will be in scope. |
| 2024-04-25 09:45:20 | <[Leary]> | Also, I use NixOS and contest the recommendation to use `launch` as an entrypoint. IIRC, the NixOS module will replace the standar xmonad binary in PATH with your configured version, which will be unable to process helpful command line arguments such as `--version`, `--recompile` or `--restart`. This is not really how xmonad is supposed to be used. |
| 2024-04-25 09:48:16 | <acidbong> | welp, with NixOS recompile is not needed (compilation is done by nix), and they suggest `restart "xmonad" True` over `spawn "xmonad --restart"` (and I don't need --version flag tbh) |
| 2024-04-25 09:51:50 | <acidbong> | I've also seen this example: (`launch` dirs) . docks . ewmh $ config |
| 2024-04-25 09:52:39 | <acidbong> | it this syntax still fresh? (the commit i'm seeing this in is from 2021) |
| 2024-04-25 09:53:16 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Quit: WeeChat 4.2.1) |
| 2024-04-25 09:53:37 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 09:54:30 | <[Leary]> | I know it's not needed, if you /want/ to tie xmonad reconfiguration to system reconfiguration, which is questionable. When you're making quick changes and testing the resulting behaviour, it will really slow down your feedback loop. In any case, the issue is the absense of the unconfigured xmonad binary on PATH, which provides some auxilliary functionality. |
| 2024-04-25 09:55:36 | <[Leary]> | "(`f` x)" is a funny way to spell "flip f x", use whatever you think is prettier. |
| 2024-04-25 09:57:24 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Client Quit) |
| 2024-04-25 09:58:09 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 10:21:09 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Quit: WeeChat 4.2.1) |
| 2024-04-25 10:22:03 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 10:23:42 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Client Quit) |
| 2024-04-25 10:24:08 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 10:24:47 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Client Quit) |
| 2024-04-25 10:25:15 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 10:25:16 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Remote host closed the connection) |
| 2024-04-25 10:25:48 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 10:43:59 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Read error: Connection reset by peer) |
| 2024-04-25 10:57:47 | × | berberman quits (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-25 10:58:32 | → | berberman joins (~berberman@user/berberman) |
| 2024-04-25 11:04:05 | × | defjam quits (~defjam@2a02:c7e:2807:b900:5019:fef0:ccd9:aba0) (Ping timeout: 240 seconds) |
| 2024-04-25 11:11:21 | → | defjam joins (~defjam@2a02:c7e:2807:b900:5019:fef0:ccd9:aba0) |
| 2024-04-25 11:27:50 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 11:36:30 | × | hightower2 quits (~hightower@213.186.15.36) (Ping timeout: 268 seconds) |
| 2024-04-25 11:52:41 | × | defjam quits (~defjam@2a02:c7e:2807:b900:5019:fef0:ccd9:aba0) (Ping timeout: 256 seconds) |
| 2024-04-25 11:57:17 | → | defjam joins (~defjam@2a02:c7e:2807:b900:5019:fef0:ccd9:aba0) |
| 2024-04-25 11:57:18 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Quit: WeeChat 4.2.1) |
| 2024-04-25 11:57:48 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 11:58:37 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Client Quit) |
| 2024-04-25 12:00:34 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 12:00:53 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Client Quit) |
| 2024-04-25 12:01:43 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 12:02:39 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Client Quit) |
| 2024-04-25 12:04:36 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 12:05:24 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Client Quit) |
| 2024-04-25 12:06:25 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 12:06:30 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Client Quit) |
| 2024-04-25 12:06:53 | <acidbong> | if we forget about traditional xmonad workflow, is there more difference between launch and xmonad? if there is a configured executable in ~/.cache/xmonad, only an xmonad one will be able to put it to front, not the launch one? |
| 2024-04-25 12:06:53 | <acidbong> | (idk how to say briefly when the configured binary replaces the vanilla one) |
| 2024-04-25 12:07:04 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 12:09:20 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Client Quit) |
| 2024-04-25 12:10:32 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 12:11:34 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Client Quit) |
| 2024-04-25 12:12:10 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 12:12:41 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Client Quit) |
| 2024-04-25 12:14:24 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 12:14:53 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Client Quit) |
| 2024-04-25 12:15:38 | → | ChubaDuba joins (~ChubaDuba@5.166.233.254) |
| 2024-04-25 12:16:21 | → | hightower2 joins (~hightower@188-21.dsl.iskon.hr) |
| 2024-04-25 12:16:50 | × | ChubaDuba quits (~ChubaDuba@5.166.233.254) (Client Quit) |
| 2024-04-25 13:18:40 | × | defjam quits (~defjam@2a02:c7e:2807:b900:5019:fef0:ccd9:aba0) (Ping timeout: 245 seconds) |
| 2024-04-25 13:23:50 | × | hightower2 quits (~hightower@188-21.dsl.iskon.hr) (Ping timeout: 256 seconds) |
| 2024-04-25 13:25:15 | → | defjam joins (~defjam@2a02:c7e:2807:b900:5019:fef0:ccd9:aba0) |
| 2024-04-25 14:17:38 | × | defjam quits (~defjam@2a02:c7e:2807:b900:5019:fef0:ccd9:aba0) (Ping timeout: 256 seconds) |
| 2024-04-25 14:18:26 | → | defjam joins (~defjam@2a02:c7e:2807:b900:5019:fef0:ccd9:aba0) |
| 2024-04-25 15:45:01 | × | defjam quits (~defjam@2a02:c7e:2807:b900:5019:fef0:ccd9:aba0) (Ping timeout: 268 seconds) |
| 2024-04-25 15:46:09 | × | sajenim quits (~sajenim@user/sajenim) (Ping timeout: 256 seconds) |
| 2024-04-25 15:55:31 | → | defjam joins (~defjam@2a02:c7e:2807:b900:5019:fef0:ccd9:aba0) |
| 2024-04-25 16:27:51 | × | defjam quits (~defjam@2a02:c7e:2807:b900:5019:fef0:ccd9:aba0) (*.net *.split) |
| 2024-04-25 16:27:51 | × | incertia quits (~incertia@209.122.137.252) (*.net *.split) |
| 2024-04-25 16:27:51 | × | joshproehl quits (~quassel@user/joshproehl) (*.net *.split) |
| 2024-04-25 16:27:51 | × | catman quits (~catman@user/catman) (*.net *.split) |
| 2024-04-25 16:27:52 | × | jeeeun8 quits (~jeeeun@78.40.148.178) (*.net *.split) |
| 2024-04-25 16:27:52 | × | T_X quits (~T_X@diktynna.open-mesh.org) (*.net *.split) |
| 2024-04-25 16:27:52 | × | Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (*.net *.split) |
| 2024-04-25 16:27:52 | × | deepy quits (deepy@user/deepy) (*.net *.split) |
| 2024-04-25 16:27:52 | × | MrElendig quits (~Urist@archlinux/op/MrElendig) (*.net *.split) |
| 2024-04-25 16:27:52 | × | acidbong quits (6e5528b381@198.108.77.243) (*.net *.split) |
| 2024-04-25 16:27:52 | × | tv quits (~tv@user/tv) (*.net *.split) |
| 2024-04-25 16:27:52 | × | haskellbridge quits (~haskellbr@69.135.3.34) (*.net *.split) |
| 2024-04-25 16:27:52 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (*.net *.split) |
| 2024-04-25 16:27:52 | × | weitcis quits (~quassel@s-169-232-102-135.resnet.ucla.edu) (*.net *.split) |
| 2024-04-25 16:27:52 | × | fcser quits (~fcser@booty.farted.net) (*.net *.split) |
| 2024-04-25 16:27:52 | × | ectospasm quits (~ectospasm@user/ectospasm) (*.net *.split) |
| 2024-04-25 16:27:53 | × | thaumavorio quits (~thaumavor@thaumavor.io) (*.net *.split) |
| 2024-04-25 16:27:53 | × | edog quits (~edog@alcotrash.org) (*.net *.split) |
| 2024-04-25 16:27:53 | × | geekosaur quits (sid609282@xmonad/geekosaur) (*.net *.split) |
| 2024-04-25 16:27:53 | × | lally quits (sid388228@id-388228.uxbridge.irccloud.com) (*.net *.split) |
| 2024-04-25 16:27:53 | × | freedrull quits (~deploy@167.99.155.33) (*.net *.split) |
| 2024-04-25 16:27:53 | × | yosafbridge quits (~yosafbrid@static.38.6.217.95.clients.your-server.de) (*.net *.split) |
| 2024-04-25 16:27:53 | × | [Leary] quits (~Leary]@user/Leary/x-0910699) (*.net *.split) |
| 2024-04-25 16:27:53 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (*.net *.split) |
| 2024-04-25 16:27:54 | × | wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split) |
| 2024-04-25 16:27:54 | × | _qw quits (~eqw@user/eqw) (*.net *.split) |
| 2024-04-25 16:27:54 | × | dweller quits (~dweller@178.62.146.60) (*.net *.split) |
| 2024-04-25 16:27:54 | × | de-vri-es quits (~de-vri-es@voyager.de-vri.es) (*.net *.split) |
All times are in UTC.