Logs on 2021-01-03 (freenode/#xmonad)
| 00:10:20 | → | terzievk joins (~user@78.90.139.65) |
| 00:34:22 | × | theDon quits (~td@muedsl-82-207-238-216.citykom.de) (Ping timeout: 272 seconds) |
| 00:35:39 | → | theDon joins (~td@muedsl-82-207-238-124.citykom.de) |
| 00:44:05 | × | thoros quits (~thoros@194-96-55-156.hdsl.highway.telekom.at) (Ping timeout: 240 seconds) |
| 00:45:31 | × | terzievk quits (~user@78.90.139.65) (Remote host closed the connection) |
| 00:48:24 | × | notis quits (~notis@45.134.22.65) (Ping timeout: 256 seconds) |
| 01:06:13 | × | jchia quits (~jchia@58.32.37.71) (*.net *.split) |
| 01:06:13 | × | wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (*.net *.split) |
| 01:06:13 | × | ghormoon quits (~ghormoon@ghorland.net) (*.net *.split) |
| 01:06:13 | × | SpiderPig quits (~matt@047-132-233-190.res.spectrum.com) (*.net *.split) |
| 01:06:13 | × | hvr quits (~hvr@haskell/developer/hvr) (*.net *.split) |
| 01:06:14 | × | Ristovski quits (~364e20076@unaffiliated/ristovski) (*.net *.split) |
| 01:06:14 | × | catern quits (~catern@104.131.201.120) (*.net *.split) |
| 01:06:14 | × | friki quits (~friki@friki.cat) (*.net *.split) |
| 01:06:14 | × | rieper quits (~riepernet@sxbeta1.geo.uni-leipzig.de) (*.net *.split) |
| 01:06:14 | × | yosafbridge quits (~yosafbrid@static.38.6.217.95.clients.your-server.de) (*.net *.split) |
| 01:06:14 | × | st13g quits (~quassel@47.90.246.232) (*.net *.split) |
| 01:06:14 | × | deebo quits (~deebo@stonebay32.com) (*.net *.split) |
| 01:07:27 | → | ghormoon joins (~ghormoon@ghorland.net) |
| 01:09:32 | → | jchia joins (~jchia@58.32.37.71) |
| 01:09:32 | → | wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de) |
| 01:09:32 | → | SpiderPig joins (~matt@047-132-233-190.res.spectrum.com) |
| 01:09:32 | → | hvr joins (~hvr@haskell/developer/hvr) |
| 01:09:32 | → | Ristovski joins (~364e20076@unaffiliated/ristovski) |
| 01:09:32 | → | friki joins (~friki@friki.cat) |
| 01:09:32 | → | st13g joins (~quassel@47.90.246.232) |
| 01:09:32 | → | rieper joins (~riepernet@sxbeta1.geo.uni-leipzig.de) |
| 01:09:32 | → | yosafbridge joins (~yosafbrid@static.38.6.217.95.clients.your-server.de) |
| 01:09:32 | → | deebo joins (~deebo@stonebay32.com) |
| 01:12:49 | × | kmicu quits (~k@176.56.237.191) (Ping timeout: 246 seconds) |
| 01:12:57 | → | kmicu joins (~k@mail.baranowi.cz) |
| 01:28:06 | → | catern joins (~catern@104.131.201.120) |
| 02:04:21 | × | kelnoky quits (~shao@ip1f1222c4.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.0) |
| 02:35:03 | → | hvr_ joins (~hvr@haskell/developer/hvr) |
| 02:36:17 | → | vanvik8 joins (~nimor@82.194.204.210) |
| 02:36:28 | → | codedmart_ joins (~codedmart@149.28.9.205) |
| 02:37:53 | → | st13g_ joins (~quassel@47.90.246.232) |
| 02:37:56 | → | rieper|net joins (~riepernet@sxbeta1.geo.uni-leipzig.de) |
| 02:38:32 | → | SpiderPi1 joins (~matt@047-132-233-190.res.spectrum.com) |
| 02:38:39 | → | funaali_ joins (~funaali@2a01:4f8:1c1c:2605::1) |
| 02:38:58 | → | palo1 joins (~weechat@c-base/crew/palo) |
| 02:39:00 | → | jchia__ joins (~jchia@jungle.jchia.net) |
| 02:42:58 | → | [Ristovski] joins (~364e20076@unaffiliated/ristovski) |
| 02:43:36 | → | friki- joins (~friki@friki.cat) |
| 02:43:42 | → | yosafbridge` joins (~yosafbrid@static.38.6.217.95.clients.your-server.de) |
| 02:43:52 | × | palo quits (~weechat@c-base/crew/palo) (*.net *.split) |
| 02:43:52 | × | jchia__1 quits (~jchia@58.32.64.17) (*.net *.split) |
| 02:43:52 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (*.net *.split) |
| 02:43:52 | × | codedmart quits (~codedmart@149.28.9.205) (*.net *.split) |
| 02:43:52 | × | vanvik quits (~nimor@82.194.204.210) (*.net *.split) |
| 02:43:52 | × | funaali quits (~funaali@static.115.49.203.116.clients.your-server.de) (*.net *.split) |
| 02:43:52 | × | jchia quits (~jchia@58.32.37.71) (*.net *.split) |
| 02:43:52 | × | wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (*.net *.split) |
| 02:43:52 | × | SpiderPig quits (~matt@047-132-233-190.res.spectrum.com) (*.net *.split) |
| 02:43:52 | × | hvr quits (~hvr@haskell/developer/hvr) (*.net *.split) |
| 02:43:52 | × | Ristovski quits (~364e20076@unaffiliated/ristovski) (*.net *.split) |
| 02:43:52 | × | friki quits (~friki@friki.cat) (*.net *.split) |
| 02:43:52 | × | rieper quits (~riepernet@sxbeta1.geo.uni-leipzig.de) (*.net *.split) |
| 02:43:52 | × | yosafbridge quits (~yosafbrid@static.38.6.217.95.clients.your-server.de) (*.net *.split) |
| 02:43:52 | × | st13g quits (~quassel@47.90.246.232) (*.net *.split) |
| 02:43:52 | × | deebo quits (~deebo@stonebay32.com) (*.net *.split) |
| 02:43:54 | vanvik8 | is now known as vanvik |
| 02:43:57 | palo1 | is now known as palo |
| 02:43:58 | → | deebo_ joins (~deebo@stonebay32.com) |
| 02:43:59 | deebo_ | is now known as deebo |
| 02:44:55 | → | wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de) |
| 02:45:11 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 02:51:33 | → | jchia joins (~jchia@58.32.37.71) |
| 03:49:38 | → | rabliatu joins (~quassel@193.37.252.44) |
| 03:56:29 | × | theDon quits (~td@muedsl-82-207-238-124.citykom.de) (Ping timeout: 260 seconds) |
| 03:58:05 | → | theDon joins (~td@94.134.91.73) |
| 04:02:23 | → | everythingTaken joins (~everythin@gateway/tor-sasl/everythingtaken) |
| 04:44:49 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 04:52:32 | → | sgibber2018 joins (~arch-gibb@208.85.237.144) |
| 05:08:38 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 258 seconds) |
| 05:14:03 | × | jchia__ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 05:14:44 | → | jchia__ joins (~jchia@58.32.64.17) |
| 05:15:58 | → | ADG1089_ joins (~adg1089@122.163.234.142) |
| 05:18:02 | × | ADG1089_ quits (~adg1089@122.163.234.142) (Read error: Connection reset by peer) |
| 05:21:05 | <Hash> | Yup |
| 05:21:07 | <Hash> | That's gonna happen |
| 05:21:12 | <Hash> | You are FUCKED |
| 05:21:18 | <Hash> | Sorry for the langage, I just really wnted to say that. |
| 05:21:29 | <Hash> | ADG is not here, but damn, I had a solution for him. |
| 05:22:02 | <Hash> | plasmashell needs a patch to work with Xmonad. QT5.10 changed something or another, so when you upgrade to a new version of plasma, you get this issue. |
| 05:50:00 | × | everythingTaken quits (~everythin@gateway/tor-sasl/everythingtaken) (Quit: everythingTaken) |
| 06:24:10 | → | palo1 joins (~weechat@c-base/crew/palo) |
| 06:27:17 | × | palo quits (~weechat@c-base/crew/palo) (Ping timeout: 260 seconds) |
| 06:27:17 | palo1 | is now known as palo |
| 07:27:21 | → | thoros joins (~thoros@194-96-55-156.hdsl.highway.telekom.at) |
| 07:28:55 | <Solid> | Hash: you can use ?tell to send him a message |
| 07:33:48 | <Hash> | oh ok |
| 07:33:58 | <Hash> | Then let me get the stuff ready to send him |
| 07:34:22 | <Hash> | I have to look up he details of the patch. Various patches didn't work for me so I had to edit two functions myself, I forgot now |
| 07:38:09 | <Solid> | s/him/them/ |
| 07:38:12 | <Solid> | derp |
| 07:50:07 | × | et09 quits (~et09@unaffiliated/endolphin) (Ping timeout: 260 seconds) |
| 08:15:58 | <Hash> | I got it now |
| 08:15:59 | <Hash> | https://bpa.st/WEGQ |
| 08:16:25 | <Hash> | ?tell ADG1089__ about https://bpa.st/WEGQ xmonad + kde launcher/menu patch fix |
| 08:16:25 | <lambdabot> | Consider it noted. |
| 08:17:57 | <Hash> | ?tell ADG1089__ about https://paste.ee/p/iJiyf xmonad + kde launcher/menu patch fix (LONGER paste duration 1 mo) |
| 08:17:58 | <lambdabot> | Consider it noted. |
| 08:19:20 | × | growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 08:26:50 | <Hash> | Solid is a solid person |
| 08:26:53 | <Hash> | <3 |
| 08:30:43 | <Solid> | :) |
| 08:32:18 | <Solid> | kinda sad that we are now at a point where even KDE requires hacks to work with xmonad :/ |
| 09:10:32 | → | ADG1089_ joins (~adg1089@122.163.234.142) |
| 09:11:16 | → | notis joins (~notis@45.134.22.54) |
| 09:22:34 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 09:34:47 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 09:56:38 | → | kelnoky joins (~shao@ip1f1222c4.dynamic.kabel-deutschland.de) |
| 10:44:01 | × | ADG1089_ quits (~adg1089@122.163.234.142) (Ping timeout: 246 seconds) |
| 11:00:23 | <Liskni_si> | Solid: What do we think about unit tests? Specifically in the context of SubLayouts, how hard shall I try to come up with useful properties that also happen to cover the bug I fixed? |
| 11:01:23 | <Liskni_si> | NoBorders could also use having some tests, but I don't have several days to write useful properties for all the existing functionality. :-/ |
| 12:06:48 | → | Shiranai joins (beed4728@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.71.40) |
| 12:08:42 | × | sgibber2018 quits (~arch-gibb@208.85.237.144) (Quit: WeeChat 3.0) |
| 12:30:12 | hvr_ | is now known as hvr |
| 12:37:46 | → | mc47 joins (~yecinem@89.246.239.190) |
| 12:41:17 | → | AZG256 joins (~user@78-56-98-5.static.zebra.lt) |
| 12:52:03 | <Solid> | Liskni_si: I think that the top priority should be that this doesn't turn into work for anyone |
| 12:52:38 | <Solid> | I'd say try as hard as you like to come up with properties, if nothing comes up then just don't include property tests :) |
| 13:06:08 | → | jchia__1 joins (~jchia@58.32.36.39) |
| 13:08:37 | × | jchia__ quits (~jchia@58.32.64.17) (Ping timeout: 264 seconds) |
| 13:32:46 | × | ml| quits (~ml|@unaffiliated/ml/x-3958674) (Ping timeout: 256 seconds) |
| 13:39:16 | [Ristovski] | is now known as Ristovski |
| 13:46:46 | → | ml| joins (~ml|@unaffiliated/ml/x-3958674) |
| 14:09:53 | → | et09 joins (~et09@unaffiliated/endolphin) |
| 14:49:52 | → | geekosaur joins (ae68c070@cpe-174-104-192-112.neo.res.rr.com) |
| 15:23:45 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection) |
| 15:26:30 | → | _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net) |
| 15:27:39 | × | Shiranai quits (beed4728@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.71.40) (Quit: Connection closed) |
| 15:47:29 | × | kelnoky quits (~shao@ip1f1222c4.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.0) |
| 16:02:22 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Read error: Connection reset by peer) |
| 16:07:01 | → | hexo joins (~hexo@gateway/tor-sasl/hexo) |
| 16:55:41 | <Solid> | Thinking about noBorders a bit I think unit tests would be more than sufficient |
| 16:56:03 | <Solid> | seeing how some parts where simply broken for several years and no one complained I guess not many people use anything but smartBorders anyways :> |
| 16:56:08 | <Solid> | s/where/were/ |
| 17:31:35 | <Liskni_si> | yeah |
| 17:32:10 | <Liskni_si> | would be nice to fix this but I don't have the time and since smartBorders is good enough for me, I don't have the motivation either |
| 17:34:09 | <Solid> | especially since the name "OtherIndicated" basically says nothing about how it *should* work |
| 17:35:04 | <geekosaur> | the idea iirc is that it always de-borders singletons since it doesn't need to use the border to indicate which screen has focus |
| 17:36:02 | <Liskni_si> | I kind of get the idea, but there's no way to make it work without crude heuristics, and since we don't know if anyone actually needs the intended behaviour, or if anyone actually needs the actual behaviour, it's best to just forget today ever happened |
| 17:36:29 | <Solid> | hah |
| 17:37:02 | <Liskni_si> | (and I'm kind of actively working on not remembering today, although not because of this) |
| 17:39:21 | <Solid> | :/ |
| 17:42:03 | <Liskni_si> | (no worries, I'm just getting drunk because after several days I managed to get hold of a microbrewery stuff) |
| 17:44:11 | <Solid> | as long as it's nothing serious I hope you're having fun with some truly artisinal beer :D |
| 17:51:56 | × | AZG256 quits (~user@78-56-98-5.static.zebra.lt) (Remote host closed the connection) |
| 18:09:25 | → | AZG256 joins (~user@78-56-98-5.static.zebra.lt) |
| 18:19:33 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Read error: Connection reset by peer) |
| 18:21:14 | → | _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net) |
| 18:28:47 | <Liskni_si> | It's just the usual let's get drunk don't worry it's Sunday we're not going to work on Monday anyway :-) |
| 19:03:29 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 19:04:27 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 19:14:45 | × | AZG256 quits (~user@78-56-98-5.static.zebra.lt) (Quit: ERC (IRC client for Emacs 26.1)) |
| 19:57:39 | × | Chobbes quits (~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net) (Changing host) |
| 19:57:39 | → | Chobbes joins (~Chobbes@unaffiliated/chobbes) |
| 20:00:26 | → | kiwi_38 joins (3e2275cd@gateway/web/cgi-irc/kiwiirc.com/ip.62.34.117.205) |
| 20:02:02 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Read error: Connection reset by peer) |
| 20:03:17 | → | _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net) |
| 20:24:33 | × | kiwi_38 quits (3e2275cd@gateway/web/cgi-irc/kiwiirc.com/ip.62.34.117.205) (Quit: Connection closed) |
| 20:38:21 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 20:39:17 | × | notis quits (~notis@45.134.22.54) (Quit: WeeChat 3.0) |
| 20:41:46 | → | notis joins (~notis@45.134.22.65) |
| 20:47:54 | → | themc47 joins (~yecinem@89.246.239.190) |
| 20:50:37 | × | mc47 quits (~yecinem@89.246.239.190) (Ping timeout: 264 seconds) |
| 20:53:00 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 21:08:08 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Read error: Connection reset by peer) |
| 21:08:55 | → | andytoshi joins (~apoelstra@unaffiliated/andytoshi) |
| 21:10:51 | → | _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net) |
| 21:11:13 | × | notis quits (~notis@45.134.22.65) (Ping timeout: 256 seconds) |
| 21:21:04 | × | themc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 21:23:05 | × | geekosaur quits (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Remote host closed the connection) |
| 21:42:02 | → | notis joins (~notis@185.51.134.229) |
| 21:44:01 | × | thoros quits (~thoros@194-96-55-156.hdsl.highway.telekom.at) (Ping timeout: 264 seconds) |
| 22:04:56 | → | ADG1089_ joins (~adg1089@27.63.37.2) |
| 22:04:56 | × | ADG1089_ quits (~adg1089@27.63.37.2) (Read error: Connection reset by peer) |
| 22:05:15 | → | ADG1089_ joins (~adg1089@122.163.234.142) |
| 22:08:13 | × | wagle quits (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 22:08:43 | → | wagle joins (~wagle@quassel.wagle.io) |
| 22:35:01 | × | seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 22:35:33 | × | notis quits (~notis@185.51.134.229) (Ping timeout: 265 seconds) |
| 22:37:19 | × | wagle quits (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 22:37:33 | → | notis joins (~notis@45.134.22.65) |
| 22:37:49 | → | wagle joins (~wagle@quassel.wagle.io) |
| 22:55:56 | × | wagle quits (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 22:57:39 | → | wagle joins (~wagle@quassel.wagle.io) |
| 22:59:27 | × | ADG1089_ quits (~adg1089@122.163.234.142) (Ping timeout: 256 seconds) |
| 23:03:04 | × | wagle quits (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 23:03:55 | → | wagle joins (~wagle@quassel.wagle.io) |
All times are in UTC on 2021-01-03.