Logs on 2021-03-05 (freenode/#xmonad)
| 00:05:05 | × | batdog_ quits (~batdog@lnsq.elkins.co) (Quit: Bye) |
| 00:07:39 | → | batdog joins (batdog@lnsq.elkins.co) |
| 00:14:14 | × | belst_ quits (~belst@unaffiliated/belst) (Ping timeout: 245 seconds) |
| 00:14:30 | × | heck-to-the-gnom quits (heck-to-th@gateway/shell/matrix.org/x-dkqfwxrpalpplgbl) (Ping timeout: 246 seconds) |
| 00:14:39 | → | heck-to-the-gnom joins (heck-to-th@gateway/shell/matrix.org/x-lpqeckkflomaivst) |
| 00:15:00 | → | belst joins (~belst@unaffiliated/belst) |
| 00:15:12 | × | liskin[m] quits (liskinmatr@gateway/shell/matrix.org/x-bixuwkizgkubfawz) (Ping timeout: 246 seconds) |
| 00:15:12 | × | molinus[m] quits (molinusmat@gateway/shell/matrix.org/x-uhmumrzkxzfphxxy) (Ping timeout: 246 seconds) |
| 00:15:23 | → | liskin[m] joins (liskinmatr@gateway/shell/matrix.org/x-rgrvecydkmxvnepj) |
| 00:15:54 | × | pharaun quits (~pharaun@static.88-198-62-245.clients.your-server.de) (Ping timeout: 245 seconds) |
| 00:15:54 | × | psibi[m] quits (psibimatri@gateway/shell/matrix.org/x-lcizqwaqkrbojkuk) (Ping timeout: 246 seconds) |
| 00:16:19 | × | sagax quits (~sagax_nb@213.138.71.146) (Ping timeout: 245 seconds) |
| 00:17:34 | × | theDon quits (~td@94.134.91.49) (Ping timeout: 245 seconds) |
| 00:17:39 | → | molinus[m] joins (molinusmat@gateway/shell/matrix.org/x-lmiqohiexpjcpafz) |
| 00:18:42 | → | pharaun joins (~pharaun@static.88-198-62-245.clients.your-server.de) |
| 00:18:58 | → | theDon joins (~td@94.134.91.49) |
| 00:19:31 | → | psibi[m] joins (psibimatri@gateway/shell/matrix.org/x-yfxnvavdaavmrgev) |
| 00:20:09 | × | notis quits (~notis@185.51.134.230) (Ping timeout: 260 seconds) |
| 00:27:51 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 00:34:52 | × | toniz4 quits (~toniz4@unaffiliated/toniz4) (Quit: leaving) |
| 00:45:48 | × | heroux quits (sandroco@gateway/shell/insomnia247/x-mxhxxnqspmknpeuc) (Ping timeout: 246 seconds) |
| 00:49:22 | → | nosewings joins (~user@2603-8081-3e07-cbc8-0000-0000-0000-1aef.res6.spectrum.com) |
| 00:56:47 | ← | nosewings parts (~user@2603-8081-3e07-cbc8-0000-0000-0000-1aef.res6.spectrum.com) ("ERC (IRC client for Emacs 28.0.50)") |
| 01:04:55 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 276 seconds) |
| 01:15:50 | × | kelnoky quits (~shao@ip1f1285ec.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.0) |
| 01:33:10 | → | sagax joins (~sagax_nb@213.138.71.146) |
| 01:44:42 | × | sam_d quits (~sam@unaffiliated/sam-d/x-1905598) (Quit: Bye) |
| 01:45:05 | × | Ikosit quits (vherrmanns@gateway/shell/matrix.org/x-hmvzdbbomixuiazx) (Ping timeout: 240 seconds) |
| 01:45:54 | × | psibi[m] quits (psibimatri@gateway/shell/matrix.org/x-yfxnvavdaavmrgev) (Ping timeout: 265 seconds) |
| 01:45:58 | → | sam_d joins (~sam@unaffiliated/sam-d/x-1905598) |
| 01:48:15 | × | PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-eaqrdmjzoipzuify) (Ping timeout: 240 seconds) |
| 01:48:18 | × | jeyj0[m] quits (jeyj0matri@gateway/shell/matrix.org/x-jpcsmypeustaiyzc) (Ping timeout: 244 seconds) |
| 01:48:26 | × | liskin[m] quits (liskinmatr@gateway/shell/matrix.org/x-rgrvecydkmxvnepj) (Ping timeout: 240 seconds) |
| 01:49:26 | × | molinus[m] quits (molinusmat@gateway/shell/matrix.org/x-lmiqohiexpjcpafz) (Ping timeout: 240 seconds) |
| 01:49:26 | × | heck-to-the-gnom quits (heck-to-th@gateway/shell/matrix.org/x-lpqeckkflomaivst) (Ping timeout: 240 seconds) |
| 01:50:15 | → | Ikosit joins (vherrmanns@gateway/shell/matrix.org/x-weonsgkxfeyzszxp) |
| 02:06:15 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:42a8:8650:90d4:54bc) (Ping timeout: 240 seconds) |
| 02:07:26 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 265 seconds) |
| 02:08:47 | × | growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:10:45 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 02:10:45 | ChanServ | sets mode +v lambdabot |
| 02:12:39 | → | heroux joins (sandroco@gateway/shell/insomnia247/x-tvbfchmbsxwsmnyj) |
| 02:13:23 | → | psibi[m] joins (psibimatri@gateway/shell/matrix.org/x-zriuzrmugxffrdyy) |
| 02:18:15 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:ce0d:4010:b248:c5be) |
| 02:19:23 | → | jeyj0[m] joins (jeyj0matri@gateway/shell/matrix.org/x-azrjozmkdfsbqyuz) |
| 02:20:06 | → | liskin[m] joins (liskinmatr@gateway/shell/matrix.org/x-wwwmmxistiaeijnb) |
| 02:21:25 | → | molinus[m] joins (molinusmat@gateway/shell/matrix.org/x-gffnjpfbiohcjcng) |
| 02:25:45 | → | PotatoHatsue joins (berbermanp@gateway/shell/matrix.org/x-owxvktbultetirdz) |
| 02:31:49 | → | heck-to-the-gnom joins (heck-to-th@gateway/shell/matrix.org/x-knksglsfyyacjpqp) |
| 02:41:07 | → | rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-dbwjulyjscwdxosr) |
| 03:19:38 | × | MasseR quits (~MasseR@51.15.143.128) (Quit: Ping timeout (120 seconds)) |
| 03:20:03 | → | MasseR joins (~MasseR@51.15.143.128) |
| 03:43:09 | × | theDon quits (~td@94.134.91.49) (Ping timeout: 264 seconds) |
| 03:44:29 | → | theDon joins (~td@muedsl-82-207-238-191.citykom.de) |
| 04:05:39 | <heck-to-the-gnom> | mc47: You on? I was scrolling through your xmonad config, and I saw you wanted a more dynamic trayer solution... I have a shell script for your xmobar config, if you're interested |
| 04:07:55 | <heck-to-the-gnom> | Oh, shoot, didn't see his exit message, I'll catch him tomorrow |
| 04:20:56 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 04:21:16 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 04:24:09 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 04:24:28 | × | totte quits (~totte@chakra/totte) (Ping timeout: 276 seconds) |
| 04:25:11 | eb0t_ | is now known as eb0t |
| 04:27:24 | → | totte joins (~totte@chakra/totte) |
| 05:05:46 | × | adamik quits (~nodelet@unaffiliated/adamik) (Quit: leaving) |
| 05:06:33 | → | adamik joins (~nodelet@unaffiliated/adamik) |
| 06:07:46 | × | deepy quits (deepy@wrongplanet/deepa) (Read error: Connection reset by peer) |
| 06:10:15 | → | palo1 joins (~weechat@c-base/crew/palo) |
| 06:13:27 | × | palo quits (~weechat@c-base/crew/palo) (Ping timeout: 265 seconds) |
| 06:13:27 | palo1 | is now known as palo |
| 06:59:57 | → | gazler joins (~gazler@195.107.2.81.in-addr.arpa) |
| 07:30:02 | <Solid> | heck-to-the-gnom: you can `?tell mc47 message' |
| 07:41:55 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 08:00:01 | × | meck quits (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 08:31:06 | × | wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 260 seconds) |
| 08:42:02 | × | thunderrd quits (~thunderrd@183.182.112.145) (Ping timeout: 272 seconds) |
| 08:44:54 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:ce0d:4010:b248:c5be) (Ping timeout: 258 seconds) |
| 08:46:08 | → | notis joins (~notis@185.51.134.230) |
| 08:51:29 | → | mc47 joins (~yecinem@89.246.239.190) |
| 08:53:59 | <mc47> | heck-to-the-gnom oh thanks! By dynamic I want it to be always redrawrn whenever *any* screen gets attached |
| 08:55:21 | → | kelnoky joins (~shao@ip1f1285ec.dynamic.kabel-deutschland.de) |
| 08:56:07 | → | thunderrd joins (~thunderrd@183.182.115.72) |
| 08:56:14 | <mc47> | currently #463 it optimistic and only spawn or kills things if the corresponding screen get attached or detached |
| 08:57:26 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:28ac:b0b7:174e:3f67) |
| 08:58:15 | <mc47> | Not sure if we should support killing *everything* and spawning the necessary things in the module, or if I should whip up a personal solution |
| 08:59:49 | <mc47> | (the problem with trayer: it's spawned on screen 0, which is my laptop screen. If attach an external monitor, that monitor becomes screen 0. xmobar moves to the external monitor, but trayer stays on the laptop monitor) |
| 09:00:09 | <mc47> | (which is ugly because my xmobar has now a trayer-shaped hole) |
| 09:12:17 | <Solid> | your xmobar is a lens? :o |
| 09:13:13 | × | kelnoky quits (~shao@ip1f1285ec.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.0) |
| 09:23:31 | <mc47> | lens in the physical sense or the haskell sense? :D |
| 09:24:08 | <mc47> | my xmobar seems transparent because my background has a solid color around the edges, hence the "hole" |
| 09:25:24 | <mc47> | unrelated, how can I make a layout redraw itself? :/ |
| 09:25:53 | <mc47> | trying to workout the problem in #213 |
| 09:26:27 | <Solid> | in the haskell sense :) but I got it the wrong way around (of course); it should be that trayer is the lens, as it's a trayes shaped whole in the surrounding xmobar |
| 09:27:04 | <mc47> | nah I have no lenses in the haskell sense whatsoever |
| 09:27:53 | <mc47> | I'm launching it as statusBarProp with mempty in the logHook |
| 09:27:55 | <Solid> | (it was a bad joke, I'm sorry) |
| 09:28:21 | <mc47> | (I felt it was a joke, I know too little about lenses though lol) |
| 09:28:58 | <Solid> | The usual intuition of a `Lens s s a a' is "an `a' shaped whole in the structure `s'" |
| 09:29:19 | <Solid> | I don't know whether there is a good solution for the layout redrawing besides M-S-<Space> and then switching to that layout again |
| 09:29:52 | <mc47> | that won't work I guess |
| 09:30:50 | <mc47> | a tl;dr of #213: create keybinding "modes", so basically you're trapped in an infinite submap until you press a ESC |
| 09:31:33 | <mc47> | (useful if you want to move floats around or resize them with the keyboard without going crazy, for example) |
| 09:31:37 | <Solid> | wasn't there a much better implementation of modal keybindings |
| 09:32:21 | <mc47> | the problem is that things like kill change the windows but the layout doesn't get updated |
| 09:32:27 | <mc47> | oh no idea, where? |
| 09:32:34 | <Solid> | let me try to find it |
| 09:33:03 | <mc47> | tbh I wanted to do the exact same thing but didn't have time for it |
| 09:33:55 | <Solid> | https://gist.github.com/LSLeary/6741b0572d62db3f0cea8e6618141b2f |
| 09:34:05 | <Solid> | it's another cool thing by lsleary that only needs docs last time I checked |
| 09:34:19 | <Solid> | I tried contacting them about getting it into -contrib proper but they didn't reply :( |
| 09:34:48 | <Solid> | it doesn't rely on recursive submaps and is thus probably a lot more stable |
| 09:34:54 | <mc47> | that's awesome! they were the ones who reported the problem with kill |
| 09:36:16 | <mc47> | that looks good at a first glance! they even thought of the labels so we can add a logger for it |
| 09:36:24 | <mc47> | thanks Solid! |
| 09:36:49 | <Solid> | npnp :) |
| 09:37:49 | → | deepy joins (deepy@wrongplanet/deepa) |
| 09:39:34 | <mc47> | I really hope they reply, it feels "cheaty" picking up a PR |
| 09:42:53 | <Liskni_si> | mc47: My config also doesn't restart panels on screens that are still connected and my trayer doesn't move. Isn't it a bit weird that in your setup trayer moves and xmobar does not? |
| 09:43:34 | <mc47> | it's the other way around |
| 09:43:44 | <mc47> | trayer doesn't move but xmobar does |
| 09:43:48 | <mc47> | I want trayer to also move |
| 09:44:01 | <Liskni_si> | And by doesn't move I probably mean it actually does move, because to stay on the screen, it needs to move when that screen changes its position. |
| 09:44:39 | <mc47> | maybe I messed up the trayer parameters |
| 09:46:06 | <mc47> | yep it was the parameters lol |
| 09:47:20 | <Solid> | mc47: you can potentially push to their branch when picking up a pr, thus you don't need to open anything new and they still get credit with regards to the commits they've already done (if you don't squash everything :)) |
| 09:48:33 | <mc47> | they don't have the code in a branch I guess |
| 09:50:22 | <Solid> | push other their master then, I'm sure they won't mind :D |
| 09:51:11 | <mc47> | that's an option yeah! |
| 10:48:19 | → | kelnoky joins (~shao@ip1f1285ec.dynamic.kabel-deutschland.de) |
| 10:49:27 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 11:32:46 | → | wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de) |
| 11:33:43 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 11:47:17 | × | adamik quits (~nodelet@unaffiliated/adamik) (Quit: leaving) |
| 11:59:52 | → | adamik joins (~nodelet@unaffiliated/adamik) |
| 12:39:38 | <mc47> | Kinda thankful the IRC channel is "low latency"... I've been sitting for hours now looking at the logs from october, because I forgot to keep references to the relevant conversations |
| 12:40:28 | <mc47> | (relevant for my report, I need to talk about the community and what goes well/what doesn't) |
| 12:41:47 | <Solid> | I can give you my logs for easier grepping if you want |
| 12:43:17 | <mc47> | oh that won't be necessary, thanks though |
| 12:43:42 | <mc47> | I kinda forgot some things too, so it's good to review the logs |
| 12:44:04 | <Solid> | :) |
| 12:44:38 | <mc47> | already found the "interesting" parts :) |
| 12:52:03 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:28ac:b0b7:174e:3f67) (Ping timeout: 260 seconds) |
| 13:03:52 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:be08:ef83:7da5:b97a) |
| 13:07:16 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 13:13:55 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 240 seconds) |
| 13:27:36 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0.1) |
| 14:12:56 | <Liskni_si> | this sounds like a nice idea: https://simonwillison.net/2021/Feb/19/office-hours/ |
| 14:14:24 | <geekosaur> | freebsd does that |
| 14:20:22 | <Ikosit> | Hi :) I'm a haskell noob and trying to use a IO monad as "Action" of a Keypress. So I'm using the function 'io' to lift the IO monad to a X monad. But when I press the bound key, nothing happens. |
| 14:20:43 | <Ikosit> | When i use the same code at the repl it works |
| 14:23:39 | <geekosaur> | @where paste |
| 14:23:39 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 14:23:54 | <Ikosit> | https://haste.m0rtis.com/?174b48e4728e1068#3b69Z7Ywk5vnwCotCxFUuikaBH4QPNGDxwcFobWJcAzr |
| 14:26:22 | <Solid> | do I now need webasm support to view text in my browser |
| 14:26:24 | <Solid> | what a time to be alive |
| 14:26:32 | <Solid> | Liskni_si: that sounds brilliant! |
| 14:26:41 | <geekosaur> | it's worse with webasm |
| 14:26:52 | <geekosaur> | I had to highlight everything to be able to read any of it |
| 14:26:59 | <Solid> | lol |
| 14:27:05 | <geekosaur> | you don't need to use io within brightness_notify, since it's already in IO |
| 14:30:41 | <geekosaur> | one common issue is that $PATH often isn't set for xmonad (this depends on the system, it is for debian-based distributions for example) so if some program isn't in /usr/bin it won't be found |
| 14:31:31 | <geekosaur> | I'd check the session log (usually ~/.xsession-errors) to see if it shows anything |
| 14:40:50 | <Ikosit> | geekosaur: It seems that PATH is set, because i can use e.g. 'spawn "pactl set-sink-mute @DEFAULT_SINK@ toggle"' |
| 14:41:31 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 14:42:44 | <Ikosit> | the io in brightness_notify was a relict from a time when brightness_notify had the type X () |
| 14:43:06 | <Ikosit> | Without it, brightness_notify still dosn't work |
| 14:43:42 | <Ikosit> | a full config: https://paste.tomsmeding.com/SV4Nesji |
| 14:47:45 | → | ADG1089__ joins (~aditya@106.214.235.119) |
| 14:56:33 | <heck-to-the-gnom> | Why not just move this into a shell script and spawn that? |
| 14:56:44 | <heck-to-the-gnom> | That seems much simpler to me |
| 14:57:17 | <Ikosit> | I want to learn Haskell by doing |
| 14:57:20 | <Ikosit> | ¯\_(ツ)_/¯ |
| 14:57:35 | <Ikosit> | But that would also be an option |
| 14:59:02 | <Solid> | what doesn't work? only the notification or the whole thing? |
| 15:00:25 | <heck-to-the-gnom> | it seems that the notification is all that's failing |
| 15:00:30 | <Ikosit> | yes |
| 15:00:36 | <Ikosit> | only the notification |
| 15:01:16 | <heck-to-the-gnom> | pro tip I learned less than 24 hrs ago: use `<>` instead of `++` |
| 15:01:21 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 15:01:41 | <Solid> | that is equivalent for string |
| 15:02:19 | <heck-to-the-gnom> | Yes, but if you want to ever migrate to another data type for whatever reason, it'll be uniform, and no change'll be necessary. |
| 15:02:34 | <Solid> | Ikosit: I wonder if this is another case of SIGCHLD interfering with getting a proper exit code |
| 15:02:53 | <Solid> | perhaps try using the functions in https://hackage.haskell.org/package/xmonad-contrib-0.16/docs/XMonad-Util-Run.html instead of `readCreateProcess' |
| 15:03:16 | <Solid> | heck-to-the-gnom: xmonad won't migrate away from String anytime soon I can assure you that ;) |
| 15:04:12 | <heck-to-the-gnom> | Yes, but he is trying to learn haskel... |
| 15:04:15 | <heck-to-the-gnom> | ll* |
| 15:05:29 | <Ikosit> | he? |
| 15:06:08 | <Solid> | s/he/they/ |
| 15:06:41 | <heck-to-the-gnom> | sorry, they |
| 15:07:21 | <Solid> | don't get me wrong, monoids are cool (and I personally never use ++ either), but there's a time and a place for everything :) |
| 15:07:39 | <Ikosit> | :P |
| 15:08:55 | <heck-to-the-gnom> | Man, I have no clue what's off about what you're doing, try running a command like `touch` or something to see if it's getting ran at all, and it's not a lack of parameters or something |
| 15:09:53 | <heck-to-the-gnom> | you could also ask in #haskell - they're usually willing to help |
| 15:10:51 | <Solid> | (do try to use X.U.Run first, we had a problem that readProcessWithExitCode just blocks in xmonad due to SIGCHLD not too long ago here) |
| 15:11:06 | <Solid> | and readCreateProcess is not so dissimilar |
| 15:11:09 | <Ikosit> | it's not a lack of parameters, bc if i run it in the repl it works |
| 15:13:20 | <Solid> | indeed, both functions call a function named `waitForProcess' which I think could be the issue |
| 15:14:23 | <heck-to-the-gnom> | Another thing you could try: running another xmonad session on another TTY, but before you launch it, run `typescript` - this logs all things any subprocess outputs. Then you can cat `~/typescript` any errors in spawning things will appear there (in my experience, anyway) |
| 15:15:08 | <Ikosit> | ok, thx for the tip |
| 15:28:07 | × | kelnoky quits (~shao@ip1f1285ec.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.0) |
| 15:31:30 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 15:38:01 | <heck-to-the-gnom> | mc47: How do you keep trayer below everything, and xmobar below that? I copied `doLower` from your config, and I tried to apply it to xmobar too, but trayer still goes below xmobar. |
| 15:40:12 | <Liskni_si> | that's actually a good question that I wanted to ask as well and forgot |
| 15:40:33 | <Liskni_si> | I have this abomination in my config: https://github.com/liskin/dotfiles/blob/home/.xmonad/xmonad.hs#L431-L443 and I suspect mc47 must have something else |
| 15:45:12 | <Solid> | does it matter if trayer goes below xmobar if you have a trayer shaped hole in xmobar? |
| 15:46:36 | <heck-to-the-gnom> | I suppose, no, but how would one make such a hole? Two bars that are dynamically resized? |
| 15:46:49 | <heck-to-the-gnom> | (I have mine centered) |
| 15:47:52 | <Liskni_si> | Solid: I don't :-) |
| 15:48:30 | <Solid> | Liskni_si: that's fair enough :) |
| 15:48:59 | <Solid> | heck-to-the-gnom: most people I've seen just make xmobar only take up 90% of the top space and put trayer into that space |
| 15:50:39 | × | materiyolo quits (~materiyol@112.204.160.151) (Quit: WeeChat 3.0.1) |
| 15:55:08 | × | ADG1089__ quits (~aditya@106.214.235.119) (Remote host closed the connection) |
| 15:57:30 | → | Waifod joins (~Waifod@91.106.123.186) |
| 16:08:23 | × | Waifod quits (~Waifod@91.106.123.186) (Quit: leaving) |
| 16:08:38 | → | Waifod joins (~Waifod@91.106.123.186) |
| 16:10:43 | <mc47> | heck-to-the-gnom euuh, nothing, really |
| 16:11:50 | <mc47> | I suspect it's a combination of the parameters I supply to trayer |
| 16:12:06 | <heck-to-the-gnom> | OK, well, how does your config work then? The hole in xmobar thing that Solid suggested? |
| 16:12:18 | <mc47> | probably --SetDockType true --SetPartialStrut true |
| 16:14:07 | <heck-to-the-gnom> | I had the first one, but the second doesn't seem to fix it... :/ |
| 16:14:48 | <mc47> | there's a script that's creating a "transparent" icon in xmobar, where trayer should be. trayer was stuck on the wrong monitor, hence the hole |
| 16:15:20 | <Solid> | heck-to-the-gnom: I suspect you also need to tell xmobar to not take up the whole top |
| 16:15:52 | <heck-to-the-gnom> | mc47, and that's clickable? |
| 16:15:59 | <heck-to-the-gnom> | trayer, beneath that, I mean |
| 16:16:32 | <mc47> | trayer is rendered on top of xmobar actually |
| 16:17:04 | <mc47> | xmobar doesn't know transparency AFAIK, it's just a trick with the colors so it seems transparent on my screen |
| 16:17:13 | × | Waifod quits (~Waifod@91.106.123.186) (Quit: leaving) |
| 16:17:29 | → | Waifod joins (~Waifod@91.106.123.186) |
| 16:17:40 | <heck-to-the-gnom> | Hm, perhaps it's the fact that I'm also using `<+> manageDocks` |
| 16:18:18 | <mc47> | if you have `docks` I don't think you need that |
| 16:19:23 | <mc47> | for me, I have overrideRedirect = False in xmobar |
| 16:19:31 | → | ADG1089__ joins (~aditya@106.214.235.119) |
| 16:19:42 | <mc47> | as well as checkDock --> doLower in the manageHook |
| 16:20:12 | <mc47> | oh I'm also using manageDocks... |
| 16:20:52 | <mc47> | which is redundant since I also have `docks` |
| 16:25:50 | <heck-to-the-gnom> | OK, well, overrideRedirect didn't seem to do much |
| 16:27:15 | <heck-to-the-gnom> | Perhaps, I could make/find a function that moves an item to the second lowest position? I might be able to do that with a mess of head + tails |
| 16:28:39 | × | Waifod quits (~Waifod@91.106.123.186) (Quit: leaving) |
| 16:28:54 | → | Waifod joins (~Waifod@91.106.123.186) |
| 16:29:17 | <Liskni_si> | or you can just copypaste what I have |
| 16:29:42 | <heck-to-the-gnom> | I'm hesitant, seeing as that thing, I barely understand, but I, I might just do it |
| 16:30:26 | <Liskni_si> | oh, by all means do try to make your own thing |
| 16:30:58 | <Liskni_si> | but since these windows aren't managed by xmonad, heads/tails won't really help you |
| 16:31:06 | × | ADG1089__ quits (~aditya@106.214.235.119) (Remote host closed the connection) |
| 16:31:31 | → | ADG1089__ joins (~aditya@106.214.235.119) |
| 16:31:45 | <Liskni_si> | you could possibly try to find the lowest managed window and restack trayer below that, which might hopefully stack the trayer above xmobar, which should be at the bottom |
| 16:31:56 | × | ADG1089__ quits (~aditya@106.214.235.119) (Remote host closed the connection) |
| 16:31:57 | <Liskni_si> | but that'd quite likely be more complex than what I have |
| 16:32:50 | <heck-to-the-gnom> | No, just `head $ reverse down`, copy the items index, then move below. |
| 16:33:24 | <heck-to-the-gnom> | But moving it to a managehook, I'm not certain on that, I'll probably reference yours for that |
| 16:33:53 | <Liskni_si> | when you say "move", what do you (think you) mean exactly? |
| 16:34:07 | <Liskni_si> | these docks are _unmanaged_ |
| 16:34:11 | <Liskni_si> | they're not in stackset |
| 16:34:30 | <Liskni_si> | so xmonad won't take care of syncing the stacking order to X |
| 16:34:59 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 16:39:14 | <heck-to-the-gnom> | Couldn't I do `checkDock --> myMovementFunction --> doIgnore`? My movement function would temporarily remap it, then, once the order has been fixed, it'd be re-ignored |
| 16:39:31 | <heck-to-the-gnom> | remap, meaning placing it back into the window stack |
| 16:41:09 | <Liskni_si> | it's not in the window stack until after the managehook finishes |
| 16:41:11 | <Liskni_si> | so… no |
| 16:45:39 | <heck-to-the-gnom> | OK, well, your thing it is then |
| 16:55:34 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:be08:ef83:7da5:b97a) (Ping timeout: 258 seconds) |
| 16:56:25 | <mc47> | Liskni_si the office-hours idea sounds good |
| 16:57:19 | Liskni_si | wonders what would you say if I suggest "a friday clubhouse" instead :-D |
| 16:59:35 | <mc47> | if it's not the iOS clubhouse, then it sounds good :D |
| 17:01:03 | <Liskni_si> | well, the original Clubhouse is a Jira alternative |
| 17:01:18 | <Liskni_si> | but I was just kidding :-) |
| 17:02:04 | <mc47> | :D |
| 17:02:05 | <Liskni_si> | video/voice conferences don't scale above 3 to 4 people |
| 17:02:45 | <mc47> | sometimes it doesn't work with two people if the discussion gets too heated :D |
| 17:07:48 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:e26e:cf9:1dd6:9615) |
| 17:08:07 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 17:15:59 | <heck-to-the-gnom> | Liskni_si: https://p.bsd-unix.net/view/c7ed979b -- I'm trying to generalize your function, and I've almost got it, I just don't know how to proceed from here |
| 17:26:15 | <geekosaur> | you can't use whenX there because if the condition is false it does return () instead of mempty |
| 17:27:55 | <heck-to-the-gnom> | liskin had it there before... I only added arguments. Why did that alter it so? |
| 17:36:31 | × | growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:42:59 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 17:51:18 | → | jd_ joins (~jd@23-127-25-87.lightspeed.rcsntx.sbcglobal.net) |
| 17:51:20 | jd_ | is now known as juliusdelta |
| 17:54:46 | <Liskni_si> | you also botched the mempty indent |
| 17:54:54 | <Liskni_si> | https://github.com/liskin/dotfiles/blob/home/.xmonad/xmonad.hs#L442 |
| 18:00:29 | <heck-to-the-gnom> | Well, fixing the indent caused that one to go away, there's another, but I'll only bother you with that if I can't solve it |
| 18:01:41 | <mc47> | I wish there was an easy way to write the bottom symbol, so I can replace the mempty with it |
| 18:02:00 | <Solid> | mc47: you use emacs right? |
| 18:02:16 | <mc47> | Solid :o how did I not think of tht |
| 18:02:17 | <mc47> | yes |
| 18:02:19 | <mc47> | I do |
| 18:02:28 | <Solid> | mc47: you can use the agda2 input method |
| 18:02:33 | <Solid> | then it's just \bot |
| 18:02:38 | × | growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:03:05 | <Solid> | if you have agda2-mode installed you can switch to it with C-\ (bound to `toggle-input-method' by default) |
| 18:03:11 | <Solid> | Never long for unicode again :D |
| 18:03:21 | <mc47> | I'll try that, thanks for the tip! |
| 18:03:56 | <Solid> | or just hack something together of course :D |
| 18:04:01 | <mc47> | the funny thing is that I used emacs for Isabelle for sometime (never again, too slow) and there were a lot of fancy symbols there |
| 18:04:24 | <mc47> | so much so that the plain text version of files is almost unreadable |
| 18:04:26 | <Solid> | probably reasonably easy to just replace every occurance of mempty in haskell code with ⊥ |
| 18:04:34 | <Solid> | visually, that is |
| 18:04:51 | <mc47> | well, I would, if I knew enough elisp |
| 18:05:00 | <Solid> | using prettify-symbols-mode I once did something like that for elisp (lambda -> λ) |
| 18:06:33 | <Liskni_si> | or XCompose |
| 18:06:35 | <Liskni_si> | https://github.com/liskin/dotfiles/blob/home/.XCompose#L89 |
| 18:08:21 | <mc47> | huh |
| 18:08:27 | <mc47> | that's also interesting |
| 18:13:59 | <Solid> | mc47: http://ix.io/2RNJ |
| 18:15:25 | <mc47> | awesome! thanks |
| 18:16:13 | <Solid> | my pleasure! always a joy writing more LISP |
| 18:16:20 | <Solid> | the advantage of this approach is that your code won't confuse anyone else :D |
| 18:17:57 | <Solid> | actually that code may be slightly wrong |
| 18:18:10 | <Solid> | could be better to just set the alist to that value instead of pushing it |
| 18:18:16 | <Solid> | probably not a big deal though |
| 18:18:44 | <mc47> | the alist is already modified |
| 18:18:45 | <mc47> | a lot |
| 18:19:29 | <Solid> | ah, in that case you know what to do :D |
| 18:23:15 | <mc47> | it's modified, but not by me :D |
| 18:26:05 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 18:27:01 | Liskni_si | decided to rebuild all Haskell stuff with -dynamic :-) |
| 18:27:10 | <Liskni_si> | I wonder if/when anything breaks |
| 18:29:56 | <Solid> | Oo |
| 18:30:00 | <geekosaur> | nothing should break unless you forget to also build some dependent with -dynamic |
| 18:30:41 | <Liskni_si> | I can't forget to build anything, as I build everything from a single home-wide stack.yaml |
| 18:30:59 | <Liskni_si> | which is also why I thought it's reasonably safe to do this |
| 18:32:02 | <Solid> | mc47: ah well, in that case you can decide if it's worth walking over the entire list and looking if that cons cell already exists or if it's okay to just have it there a couple of times at the end of the day :) |
| 18:46:05 | <mc47> | Solid the thing is, I'm not sure where exactly it's being set |
| 18:46:58 | <mc47> | I successfully added '("mempty" . ⊥) to the alist but it didn't do anything, so something else is going on there |
| 18:47:13 | <mc47> | I asked in the doom discord, hopefully someone comes along |
| 18:47:25 | <Solid> | make sure `prettify-symbols-mode' is actually on |
| 18:47:28 | <Solid> | oh doom |
| 18:47:37 | <Solid> | yeah no idea in that case :D |
| 18:49:00 | <mc47> | yeah other symbols are being replaced, I think it needs more than just ⊥ |
| 18:51:10 | <Solid> | other symbols shouldn't really matter for this as we're explicitly associating mempty to ⊥ |
| 18:54:43 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 18:58:59 | × | Waifod quits (~Waifod@91.106.123.186) (Ping timeout: 260 seconds) |
| 19:00:20 | → | Waifod joins (Waifod@gateway/vpn/protonvpn/waifod) |
| 19:10:41 | <mc47> | Solid doom had indeed its way of doing things |
| 19:11:55 | <Solid> | ah, of course |
| 19:17:33 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 19:18:35 | × | seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 19:21:42 | → | ADG1089__ joins (~aditya@171.79.107.148) |
| 19:22:02 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 20:16:06 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 20:21:54 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 20:22:58 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 260 seconds) |
| 21:46:17 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Ping timeout: 265 seconds) |
| 21:47:32 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 21:52:37 | → | _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net) |
| 22:13:33 | × | mc47 quits (~yecinem@89.246.239.190) (Quit: Leaving) |
| 22:21:25 | × | ADG1089__ quits (~aditya@171.79.107.148) (Remote host closed the connection) |
| 23:13:56 | × | dmwit quits (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (Remote host closed the connection) |
| 23:18:07 | → | dmwit joins (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) |
| 23:20:53 | → | AlexNevesky joins (~brtt@2600:8804:8689:3f00::62c1) |
| 23:21:23 | <AlexNevesky> | Okay i have a fresh install of Arch on a new system but my xmobar wont start. Every time i try to start it i get this error : xmobar hGetContents: invalid argument invalid byte sequence |
| 23:21:28 | <AlexNevesky> | can anyone help me? |
| 23:22:26 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 23:24:44 | <Liskni_si> | AlexNevesky: can you try https://github.com/xmonad/xmonad-contrib/pull/471? |
| 23:25:22 | <Liskni_si> | or, if you want a quick check to see if that's what I think it is, replace spawnPipe with spawnPipeWithNoEncoding |
| 23:26:43 | <Liskni_si> | (yeah, we should've just merged this a while ago, but there are other open PRs touching the same code and I've been terribly busy the last few weeks) |
| 23:28:32 | <AlexNevesky> | this is happening even if i try to run xmobar |
| 23:30:11 | <Liskni_si> | I don't understand what you mean by that |
| 23:30:27 | <AlexNevesky> | okay if i just type xmobar in a terminal. that is the error that my terminal spits out |
| 23:30:35 | <Liskni_si> | oh! |
| 23:30:39 | <AlexNevesky> | xmobar wont spawn either through spawnPipe or terminal |
| 23:30:53 | <Liskni_si> | in that case there must be something wrong with your xmobarrc |
| 23:31:11 | <AlexNevesky> | its the same xmobarrc that i use on my other machine |
| 23:31:13 | <Liskni_si> | or your locale |
| 23:31:30 | <Liskni_si> | https://wiki.archlinux.org/index.php/locale |
| 23:36:09 | × | adamik quits (~nodelet@unaffiliated/adamik) (Quit: leaving) |
| 23:36:27 | × | AlexNevesky quits (~brtt@2600:8804:8689:3f00::62c1) (Quit: WeeChat 3.0.1) |
| 23:36:35 | → | adamik joins (~nodelet@unaffiliated/adamik) |
| 23:48:44 | <heck-to-the-gnom> | Leaves the room... |
| 23:51:38 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:e26e:cf9:1dd6:9615) (Ping timeout: 264 seconds) |
| 23:53:02 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:388b:b0a5:f74:a953) |
All times are in UTC on 2021-03-05.