Logs: freenode/#xmonad
| 2020-12-14 11:06:29 | → | al3x27 joins (~plovs@85.254.75.80) |
| 2020-12-14 11:16:33 | → | jaren999 joins (~cyr4x3@139.47.121.51) |
| 2020-12-14 11:29:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2020-12-14 11:29:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2020-12-14 11:38:58 | × | jaren999 quits (~cyr4x3@139.47.121.51) (Quit: WeeChat 1.6) |
| 2020-12-14 11:40:41 | ← | adder parts (~adder@unaffiliated/adder) ("Leaving") |
| 2020-12-14 12:14:55 | × | gzj quits (~gzj@unaffiliated/gzj) (Quit: Leaving) |
| 2020-12-14 12:20:24 | → | materiyolo joins (~materiyol@112.204.171.225) |
| 2020-12-14 12:34:44 | × | _ashbreeze_ quits (~mark@72-161-253-71.dyn.centurytel.net) (Read error: Connection reset by peer) |
| 2020-12-14 12:36:14 | → | _ashbreeze_ joins (~mark@184-157-32-85.dyn.centurytel.net) |
| 2020-12-14 12:39:37 | <Liskni_si> | Solid: #427 looks okay to me now but I'm not sure if I should merge it or it geekosaur who's the maintainer and still somewhat active here should do that |
| 2020-12-14 12:39:46 | <Liskni_si> | haven't seen him merging anything in a while... |
| 2020-12-14 12:39:55 | <Liskni_si> | s/or it/or if/ |
| 2020-12-14 12:42:56 | → | geekosaur joins (ac3a536c@172.58.83.108) |
| 2020-12-14 13:11:12 | × | al3x27 quits (~plovs@85.254.75.80) (Ping timeout: 260 seconds) |
| 2020-12-14 13:22:33 | <Solid> | Liskni_si: I think I'd feel better if he at least said it was okay to merge (even just in IRC) |
| 2020-12-14 13:22:38 | <Solid> | seems like the polite thing to do |
| 2020-12-14 13:24:12 | <geekosaur> | I'm still in something of an unstable position. I have it bookmarked and will try to look at it later |
| 2020-12-14 13:30:16 | → | belst joins (~belst@unaffiliated/belst) |
| 2020-12-14 14:17:20 | × | rabliatu quits (~quassel@199.58.187.144) (Ping timeout: 265 seconds) |
| 2020-12-14 14:20:03 | → | malook joins (~Thunderbi@5.110.184.12) |
| 2020-12-14 14:54:32 | × | geekosaur quits (ac3a536c@172.58.83.108) (Remote host closed the connection) |
| 2020-12-14 14:58:27 | → | al3x27 joins (~plovs@85.254.75.80) |
| 2020-12-14 15:01:34 | × | malook quits (~Thunderbi@5.110.184.12) (Quit: malook) |
| 2020-12-14 15:12:06 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0) |
| 2020-12-14 15:44:54 | × | notis quits (~notis@185.51.134.230) (Quit: WeeChat 2.9) |
| 2020-12-14 16:02:44 | → | notis joins (~notis@45.134.22.84) |
| 2020-12-14 16:08:26 | → | rabliatu joins (~quassel@199.58.187.144) |
| 2020-12-14 16:12:20 | → | terrorjack joins (~terrorjac@static.23.111.201.195.clients.your-server.de) |
| 2020-12-14 16:14:00 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 2020-12-14 16:47:09 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 2020-12-14 16:54:28 | × | _ashbreeze_ quits (~mark@184-157-32-85.dyn.centurytel.net) (Remote host closed the connection) |
| 2020-12-14 16:54:37 | → | geekosaur joins (42d52137@66.213.33.55) |
| 2020-12-14 17:01:09 | → | mrbirkov joins (uid453780@gateway/web/irccloud.com/x-sntylufhjgmcyvqv) |
| 2020-12-14 17:22:51 | → | kelnoky joins (~shao@ip1f1222c4.dynamic.kabel-deutschland.de) |
| 2020-12-14 17:43:48 | × | materiyolo quits (~materiyol@112.204.171.225) (Quit: WeeChat 2.9) |
| 2020-12-14 18:06:09 | × | kelnoky quits (~shao@ip1f1222c4.dynamic.kabel-deutschland.de) (Quit: WeeChat 2.9) |
| 2020-12-14 18:16:05 | × | geekosaur quits (42d52137@66.213.33.55) (Remote host closed the connection) |
| 2020-12-14 18:17:54 | → | geekosaur joins (42d52137@66.213.33.55) |
| 2020-12-14 18:44:42 | → | dawiss joins (~dawiss@178.43.15.214.ipv4.supernova.orange.pl) |
| 2020-12-14 18:55:55 | × | geekosaur quits (42d52137@66.213.33.55) (Ping timeout: 245 seconds) |
| 2020-12-14 19:03:24 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-12-14 19:04:14 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 2020-12-14 19:11:56 | → | geekosaur joins (42d52137@66.213.33.55) |
| 2020-12-14 19:25:45 | → | _ashbreeze_ joins (~mark@184-157-32-85.dyn.centurytel.net) |
| 2020-12-14 19:30:25 | × | rabliatu quits (~quassel@199.58.187.144) (Quit: 1) |
| 2020-12-14 19:32:11 | → | rabliatu joins (~quassel@199.58.187.144) |
| 2020-12-14 19:37:03 | × | _ashbreeze_ quits (~mark@184-157-32-85.dyn.centurytel.net) (Remote host closed the connection) |
| 2020-12-14 19:38:34 | → | _ashbreeze_ joins (~mark@184-157-32-85.dyn.centurytel.net) |
| 2020-12-14 19:58:04 | × | notis quits (~notis@45.134.22.84) (Ping timeout: 256 seconds) |
| 2020-12-14 20:03:41 | × | lally quits (sid388228@gateway/web/irccloud.com/x-bnjavsttoxuogooa) (Read error: Connection reset by peer) |
| 2020-12-14 20:04:04 | → | lally joins (sid388228@gateway/web/irccloud.com/x-udblkappiwdfbwqx) |
| 2020-12-14 20:04:47 | × | wonko7 quits (~wonko7@2a01:e35:2ffb:7040:14a1:46f4:68f7:2133) (Ping timeout: 260 seconds) |
| 2020-12-14 20:04:52 | → | notis joins (~notis@45.134.22.84) |
| 2020-12-14 20:20:33 | → | wonko7 joins (~wonko7@lns-bzn-55-82-255-183-4.adsl.proxad.net) |
| 2020-12-14 20:25:23 | × | geekosaur quits (42d52137@66.213.33.55) (Remote host closed the connection) |
| 2020-12-14 20:26:40 | → | geekosaur joins (42d52137@66.213.33.55) |
| 2020-12-14 20:49:20 | → | kr1x joins (~kriket@2600:1008:b14b:1c74:8b28:62a9:f706:1cc3) |
| 2020-12-14 20:50:53 | × | kr1x quits (~kriket@2600:1008:b14b:1c74:8b28:62a9:f706:1cc3) (Client Quit) |
| 2020-12-14 20:51:27 | × | al3x27 quits (~plovs@85.254.75.80) (Quit: WeeChat 2.9) |
| 2020-12-14 20:57:55 | × | dawiss quits (~dawiss@178.43.15.214.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 2020-12-14 21:03:12 | × | _ashbreeze_ quits (~mark@184-157-32-85.dyn.centurytel.net) (Remote host closed the connection) |
| 2020-12-14 21:06:44 | × | geekosaur quits (42d52137@66.213.33.55) (Remote host closed the connection) |
| 2020-12-14 21:10:25 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2020-12-14 21:30:13 | × | notis quits (~notis@45.134.22.84) (Ping timeout: 264 seconds) |
| 2020-12-14 21:33:23 | → | notis joins (~notis@185.51.134.230) |
| 2020-12-14 21:40:47 | <mc47> | Hey! Is it at all possible to persist things between restarts that do not derive Read? |
| 2020-12-14 21:43:26 | <mc47> | I was thinking about this https://github.com/xmonad/xmonad-contrib/pull/408 and persisting process handles seemed a good idea... until I found out that it doesn't derive Read, and it didn't seem reasonable to make it derive Read |
| 2020-12-14 21:43:45 | <mc47> | Defined here btw http://hackage.haskell.org/package/process-1.6.10.0/docs/System-Process.html |
| 2020-12-14 21:49:46 | × | mrbirkov quits (uid453780@gateway/web/irccloud.com/x-sntylufhjgmcyvqv) (Quit: Connection closed for inactivity) |
| 2020-12-14 22:09:23 | <Liskni_si> | mc47: persisting process handles wouldn't solve the problem of pid reuse |
| 2020-12-14 22:10:46 | <mc47> | Liskni_si wouldn't the handle "know" if the process died? |
| 2020-12-14 22:12:12 | <Liskni_si> | mc47: probably not, it's not a perfect abstraction unfortunately |
| 2020-12-14 22:12:26 | <Liskni_si> | the underlying unix primitives make it impossible to "know" |
| 2020-12-14 22:12:55 | <Liskni_si> | (unless it's all implemented using pidfds, which I'm afraid it's not, yet, as it's a feature of recent kernels only) |
| 2020-12-14 22:13:08 | <mc47> | I see |
| 2020-12-14 22:13:36 | <mc47> | If I'm understanding correctly, the OS would need to use all available PIDs before wrapping around, right? |
| 2020-12-14 22:14:34 | <Liskni_si> | yes |
| 2020-12-14 22:15:12 | <Liskni_si> | on modern systems, pids wrap around after 4 million, so it takes a while |
| 2020-12-14 22:15:21 | <Liskni_si> | not too long ago it'd wrap at 32k |
| 2020-12-14 22:15:49 | <mc47> | Even with that it is a no-go to kill based on PIDs? |
| 2020-12-14 22:16:10 | <Liskni_si> | that being said, my laptop has wrapped at least once during its current uptime |
| 2020-12-14 22:16:34 | <Liskni_si> | I have pids in the millions and the new processes are around million |
| 2020-12-14 22:16:54 | <Liskni_si> | not sure if no-go... it's just a bit unsafe :-) |
| 2020-12-14 22:17:13 | <mc47> | that's.. a lot |
| 2020-12-14 22:17:37 | <Liskni_si> | anyway xmobar sets _NET_WM_PID on its window |
| 2020-12-14 22:18:06 | <Liskni_si> | so we can just queryTree root windows, look for xmobars, read _NET_WM_PID, check if it matches persistent state, kill |
| 2020-12-14 22:18:42 | <mc47> | that seems like a good idea |
| 2020-12-14 22:18:44 | <Liskni_si> | dzen does that as well |
| 2020-12-14 22:18:46 | Hash | is now known as THC |
| 2020-12-14 22:19:18 | <mc47> | I wanted to have a go at it, since I understand more or less how it works and it seems manageable |
| 2020-12-14 22:19:38 | <mc47> | Didn't find a lot of "First good issues" :) |
| 2020-12-14 22:19:38 | <Liskni_si> | can you write it up to that issue pls? I've been refactoring my x11 session all day and my brain is fried at this point :-) |
| 2020-12-14 22:20:10 | <mc47> | Yes, sure! Thanks for the information btw |
| 2020-12-14 22:23:33 | → | malook joins (~Thunderbi@5.110.184.12) |
| 2020-12-14 22:23:41 | × | malook quits (~Thunderbi@5.110.184.12) (Client Quit) |
| 2020-12-14 22:28:40 | THC | is now known as EnchanterTim |
| 2020-12-14 22:39:53 | × | mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2020-12-14 22:40:57 | → | ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta) |
| 2020-12-14 22:43:44 | × | p71 quits (~chatzilla@097-083-185-160.res.spectrum.com) (Remote host closed the connection) |
All times are in UTC.