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