Logs on 2020-12-24 (freenode/#xmonad)
| 00:23:36 | × | notis quits (~notis@85.203.44.165) (Ping timeout: 240 seconds) |
| 01:10:54 | × | evanjs- quits (~evanjs@075-129-098-007.res.spectrum.com) (Max SendQ exceeded) |
| 01:11:40 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 01:29:13 | × | al3x27 quits (~plovs@85.254.75.199) (Ping timeout: 246 seconds) |
| 02:30:23 | × | growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:31:42 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 03:12:13 | × | theDon quits (~td@muedsl-82-207-238-067.citykom.de) (Ping timeout: 256 seconds) |
| 03:13:51 | → | theDon joins (~td@94.134.91.70) |
| 05:07:06 | → | ke4pcx joins (~ke4pcx@024-158-093-129.res.spectrum.com) |
| 05:07:23 | ← | ke4pcx parts (~ke4pcx@024-158-093-129.res.spectrum.com) () |
| 05:20:02 | × | dsal quits (sid13060@gateway/web/irccloud.com/x-pxsnympjlocgwvcz) (Ping timeout: 260 seconds) |
| 05:21:47 | × | lally quits (sid388228@gateway/web/irccloud.com/x-kigisbxmlrdxghtz) (Ping timeout: 260 seconds) |
| 05:22:12 | → | dsal joins (sid13060@gateway/web/irccloud.com/x-frcdhloinrhxmjcq) |
| 05:23:06 | → | lally joins (sid388228@gateway/web/irccloud.com/x-mxgkmpovbzlskqvr) |
| 05:33:45 | Hash | is now known as EnchanterTim |
| 05:45:32 | → | ADG1089__ joins (~aditya@122.163.225.112) |
| 06:22:15 | → | al3x27 joins (~plovs@85.254.75.199) |
| 06:27:33 | × | ADG1089__ quits (~aditya@122.163.225.112) (Read error: Connection reset by peer) |
| 06:27:35 | → | ADG1089_ joins (~aditya@122.163.225.112) |
| 06:34:39 | → | palo1 joins (~weechat@c-base/crew/palo) |
| 06:37:39 | × | palo quits (~weechat@c-base/crew/palo) (Ping timeout: 258 seconds) |
| 06:37:39 | palo1 | is now known as palo |
| 06:49:28 | × | al3x27 quits (~plovs@85.254.75.199) (Ping timeout: 246 seconds) |
| 06:51:36 | → | al3x27 joins (~plovs@85.254.74.40) |
| 07:12:16 | × | growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:16:50 | EnchanterTim | is now known as StonedApe |
| 07:17:03 | × | lally quits (sid388228@gateway/web/irccloud.com/x-mxgkmpovbzlskqvr) (Read error: Connection reset by peer) |
| 07:17:11 | × | ryjm quits (sid383513@gateway/web/irccloud.com/x-huoudwukmzlpfarr) (Read error: Connection reset by peer) |
| 07:18:30 | → | lally joins (sid388228@gateway/web/irccloud.com/x-jjsuifovqidvbwna) |
| 07:18:43 | → | ryjm joins (sid383513@gateway/web/irccloud.com/x-wcipyzqdeemnvzhq) |
| 07:30:40 | StonedApe | is now known as Hash |
| 08:10:23 | → | malook joins (~Thunderbi@5.111.64.247) |
| 08:19:11 | × | ADG1089_ quits (~aditya@122.163.225.112) (Remote host closed the connection) |
| 08:33:08 | → | notis joins (~notis@85.203.44.165) |
| 08:36:18 | ← | malook parts (~Thunderbi@5.111.64.247) () |
| 08:53:37 | × | notis quits (~notis@85.203.44.165) (Ping timeout: 264 seconds) |
| 08:54:12 | → | notis joins (~notis@85.203.44.195) |
| 09:01:01 | × | ryjm quits (sid383513@gateway/web/irccloud.com/x-wcipyzqdeemnvzhq) (Ping timeout: 268 seconds) |
| 09:01:46 | × | lally quits (sid388228@gateway/web/irccloud.com/x-jjsuifovqidvbwna) (Ping timeout: 256 seconds) |
| 09:03:04 | → | lally joins (sid388228@gateway/web/irccloud.com/x-eayepbdcoaltcgvr) |
| 09:03:56 | → | ryjm joins (sid383513@gateway/web/irccloud.com/x-gmeiqgbavlzgqgtv) |
| 09:41:14 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 09:59:52 | → | ADG1089__ joins (~aditya@122.163.225.112) |
| 10:06:57 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds) |
| 10:08:56 | × | ADG1089__ quits (~aditya@122.163.225.112) (Quit: Konversation terminated!) |
| 11:04:58 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:9fad:af1d:1031:f5b2) (Ping timeout: 268 seconds) |
| 11:05:41 | → | mc47 joins (~yecinem@89.246.239.190) |
| 11:07:38 | <mc47> | Hello! Is there a way to execute an X action inside IO? something like the opposite of io |
| 11:17:08 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:d7e8:3126:b46e:67f2) |
| 11:28:33 | → | ADG1089__ joins (~aditya@122.163.225.112) |
| 11:29:39 | <Liskni_si> | mc47: Not really, X carries additional state that is inaccesible from the underlying IO monad |
| 11:34:09 | <mc47> | Liskni_si that's what I thought too... I went back to try and play with handling sigCHLD, but the action should be an IO, so saving PIDs when spawning and deleting them when we receive sigCHLD seems not (easily) doable |
| 11:34:44 | <mc47> | At least without looking at unliftio, which I don't think it's what we want to do |
| 11:38:53 | <Liskni_si> | mc47: well, documentation of installHandler says that the handler is invoked in a new thread, and this X11 stuff isn't really thread-safe, so you shouldn't be doing anything in the handler anyway |
| 11:39:44 | <Liskni_si> | so the handler should just send a message to the main thread or something |
| 11:40:03 | <Liskni_si> | not sure if there's an easy to way to do that, tho |
| 11:40:18 | <Liskni_si> | and no idea what happens in a non-threaded RTS, either |
| 11:41:17 | <Liskni_si> | it'll probably run on the main thread some time later |
| 11:41:18 | <mc47> | It kinda feels like too much of a hassle |
| 11:42:37 | <mc47> | I guess I'll see what we could do the "walk up the parent PIDs" approach |
| 11:44:31 | <mc47> | Or we could just say "no check, kill them all" because I don't think the edge case of "open xmonad, status bar dies, wait for pids to wrap around, recompile xmonad" is something that would happen :-) |
| 11:56:08 | <Liskni_si> | agreed |
| 12:00:52 | <mc47> | Thanks! |
| 12:09:25 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 12:14:34 | × | ADG1089__ quits (~aditya@122.163.225.112) (Read error: Connection reset by peer) |
| 12:14:58 | → | ADG1089__ joins (~aditya@122.163.225.112) |
| 12:27:13 | × | ADG1089__ quits (~aditya@122.163.225.112) (Ping timeout: 246 seconds) |
| 12:38:59 | → | ADG1089__ joins (~aditya@122.163.225.112) |
| 12:39:42 | → | geekosaur joins (ac3a3bff@172.58.59.255) |
| 12:39:54 | × | ADG1089__ quits (~aditya@122.163.225.112) (Remote host closed the connection) |
| 12:56:21 | → | ADG1089__ joins (~aditya@122.163.225.112) |
| 13:08:18 | × | geekosaur quits (ac3a3bff@172.58.59.255) (Remote host closed the connection) |
| 13:12:43 | × | ADG1089__ quits (~aditya@122.163.225.112) (Ping timeout: 246 seconds) |
| 13:13:19 | → | ADG1089__ joins (~aditya@122.163.225.112) |
| 13:15:08 | × | ADG1089__ quits (~aditya@122.163.225.112) (Remote host closed the connection) |
| 15:13:46 | → | malook joins (~Thunderbi@5.111.64.247) |
| 15:19:29 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 15:19:50 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 15:20:42 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 15:21:21 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 15:22:34 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 15:23:01 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 15:24:35 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 15:25:44 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 15:26:14 | → | ADG1089__ joins (~aditya@122.163.225.112) |
| 15:26:58 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 15:27:36 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 15:30:40 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 15:31:24 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 15:33:00 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 15:33:33 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 15:35:45 | × | malook quits (~Thunderbi@5.111.64.247) (Quit: malook) |
| 15:39:48 | × | ADG1089__ quits (~aditya@122.163.225.112) (Ping timeout: 256 seconds) |
| 15:42:47 | → | ADG1089__ joins (~aditya@122.163.225.112) |
| 15:48:52 | → | malook joins (~Thunderbi@5.111.64.247) |
| 15:57:03 | × | malook quits (~Thunderbi@5.111.64.247) (Quit: malook) |
| 16:09:38 | → | qbit2821 joins (~qbit2821@94-255-133-216.cust.bredband2.com) |
| 16:17:11 | × | ADG1089__ quits (~aditya@122.163.225.112) (Remote host closed the connection) |
| 16:18:00 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 16:22:53 | → | themc47 joins (~yecinem@business-24-134-226-249.pool2.vodafone-ip.de) |
| 16:25:28 | × | mc47 quits (~yecinem@89.246.239.190) (Ping timeout: 256 seconds) |
| 16:40:18 | × | berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in) |
| 16:40:43 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 16:42:08 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 16:42:39 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 16:44:01 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 16:45:27 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 16:46:35 | → | geekosaur joins (ac3a8cd4@172.58.140.212) |
| 16:47:09 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 16:48:24 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 16:49:47 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 16:50:25 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 16:53:01 | × | qbit2821 quits (~qbit2821@94-255-133-216.cust.bredband2.com) (Ping timeout: 264 seconds) |
| 16:58:30 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 17:30:02 | → | tux1 joins (~tux@ru1.metahumanvpn.network) |
| 18:13:18 | → | ADG1089__ joins (~aditya@122.163.239.116) |
| 18:27:16 | × | ADG1089__ quits (~aditya@122.163.239.116) (Remote host closed the connection) |
| 18:37:27 | × | tux1 quits (~tux@ru1.metahumanvpn.network) (Quit: WeeChat 2.9) |
| 18:38:17 | × | al3x27 quits (~plovs@85.254.74.40) (Ping timeout: 265 seconds) |
| 18:48:43 | × | notis quits (~notis@85.203.44.195) (Read error: Connection reset by peer) |
| 19:03:31 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 19:04:00 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 258 seconds) |
| 19:04:56 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 256 seconds) |
| 19:40:20 | → | al3x27 joins (~plovs@85.254.74.40) |
| 19:41:20 | × | geekosaur quits (ac3a8cd4@172.58.140.212) (Ping timeout: 245 seconds) |
| 19:50:24 | → | geekosaur joins (ac3a8f71@172.58.143.113) |
| 21:34:21 | → | notis joins (~notis@85.203.44.37) |
| 21:42:38 | × | lally quits (sid388228@gateway/web/irccloud.com/x-eayepbdcoaltcgvr) (Ping timeout: 264 seconds) |
| 21:42:43 | × | notis quits (~notis@85.203.44.37) (Read error: Connection reset by peer) |
| 21:45:02 | × | ryjm quits (sid383513@gateway/web/irccloud.com/x-gmeiqgbavlzgqgtv) (Ping timeout: 264 seconds) |
| 21:45:38 | → | notis joins (~notis@85.203.44.37) |
| 21:47:01 | → | lally joins (sid388228@gateway/web/irccloud.com/x-sahonvgrjrbzkxrq) |
| 21:47:20 | → | ryjm joins (sid383513@gateway/web/irccloud.com/x-tmudtbhecwyiwuwc) |
| 21:49:56 | × | notis quits (~notis@85.203.44.37) (Ping timeout: 240 seconds) |
| 21:51:59 | → | notis joins (~notis@85.203.44.37) |
| 22:10:35 | × | geekosaur quits (ac3a8f71@172.58.143.113) (Remote host closed the connection) |
| 22:11:12 | × | themc47 quits (~yecinem@business-24-134-226-249.pool2.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 22:19:24 | × | rabliatu quits (~quassel@107.158.96.179) (Ping timeout: 260 seconds) |
| 22:19:30 | → | rabliatu_ joins (~quassel@107.158.96.179) |
| 23:27:05 | × | rabliatu_ quits (~quassel@107.158.96.179) (Quit: 1) |
All times are in UTC on 2020-12-24.