Logs: liberachat/#xmonad
| 2022-04-20 04:15:27 | → | steve__ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-04-20 04:34:07 | → | rekahsoft joins (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-04-20 04:36:40 | → | abastro joins (~abab9579@220.75.216.63) |
| 2022-04-20 04:41:03 | × | abastro quits (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-20 04:41:14 | → | abastro joins (~abab9579@220.75.216.63) |
| 2022-04-20 05:23:42 | × | rekahsoft quits (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 276 seconds) |
| 2022-04-20 05:37:18 | × | abastro quits (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-20 05:38:40 | → | abastro joins (~abab9579@220.75.216.63) |
| 2022-04-20 06:02:29 | <abastro> | Hmm, decoupling taffybar made my config a bit more stable |
| 2022-04-20 06:03:16 | → | benin5 joins (~benin@106.198.93.9) |
| 2022-04-20 06:05:11 | × | benin quits (~benin@183.82.204.110) (Ping timeout: 256 seconds) |
| 2022-04-20 06:05:12 | benin5 | is now known as benin |
| 2022-04-20 06:18:37 | → | benin4 joins (~benin@183.82.204.110) |
| 2022-04-20 06:20:54 | × | benin quits (~benin@106.198.93.9) (Ping timeout: 276 seconds) |
| 2022-04-20 06:20:54 | benin4 | is now known as benin |
| 2022-04-20 06:41:05 | <abastro> | TIL invoking `cabal build` after `cabal install` makes next `cabal build` take less time. |
| 2022-04-20 06:42:02 | <Solid> | presumably cabal install also builds the package before installing it :) |
| 2022-04-20 07:19:05 | <abastro> | Yep, but cabal install takes longer time if I just want to check if I should re-install stuffs |
| 2022-04-20 07:58:39 | × | steve__ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2022-04-20 08:14:35 | <abastro> | What could I use to read a file alike stock `Read` instance reads? |
| 2022-04-20 08:15:16 | <abastro> | The stock instance is quite cumbersome (No error messages, constrained to String) |
| 2022-04-20 09:00:09 | × | abastro quits (~abab9579@220.75.216.63) (Ping timeout: 276 seconds) |
| 2022-04-20 10:31:28 | → | chomwitt joins (~chomwitt@2a02:587:dc1b:da00:41cd:5357:91a5:6) |
| 2022-04-20 11:04:50 | → | wybpip[m] joins (~wybpipmat@2001:470:69fc:105::1:f452) |
| 2022-04-20 11:04:51 | ← | wybpip[m] parts (~wybpipmat@2001:470:69fc:105::1:f452) () |
| 2022-04-20 11:39:11 | × | wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (Remote host closed the connection) |
| 2022-04-20 12:00:10 | <geekosaur> | abastro[m], the general recommendation is to ignore Read completely and write a parser |
| 2022-04-20 12:00:25 | <geekosaur> | parsec/megaparsec and attoparsec are commonly used |
| 2022-04-20 12:01:57 | → | abastro joins (~abab9579@220.75.216.63) |
| 2022-04-20 12:02:00 | <geekosaur> | Read's sole advantage is it can be done with stuff in base and restricted to haskell98 |
| 2022-04-20 12:02:10 | <geekosaur> | but it's a *lousy* parser |
| 2022-04-20 12:07:45 | <abastro[m]> | It takes time to write a good parser though. |
| 2022-04-20 12:08:05 | <geekosaur> | well, yes |
| 2022-04-20 12:08:17 | <geekosaur> | it took time to design Read too though :) |
| 2022-04-20 12:08:33 | <abastro> | Yep |
| 2022-04-20 12:08:44 | <geekosaur> | especially since some key parts of modern parsers didn't exist back then (Applicative and Alternative) |
| 2022-04-20 12:09:14 | <abastro> | I mean, want out-of-the box solution |
| 2022-04-20 12:09:18 | <abastro> | I want* |
| 2022-04-20 12:13:30 | <tdammers> | another problem with the format Show/Read use is that it's not actually properly specified |
| 2022-04-20 12:14:28 | <tdammers> | the entire specification is pretty much "as close to valid Haskell syntax as you can reasonably make it", but more than enough instances produce something that isn't valid Haskell code to make even this bit of specification practically useless |
| 2022-04-20 12:15:05 | <tdammers> | this is fine for the use case that Show and Read were intended for (casual debugging), but it's a bad choice if you need anything more robust than that |
| 2022-04-20 12:15:10 | <abastro> | I find the syntax great-looking personally |
| 2022-04-20 12:15:25 | <tdammers> | of course, but that's not the point |
| 2022-04-20 12:15:30 | <abastro> | So I wanted something which replicates some of its behavior with more advanced tools |
| 2022-04-20 12:15:34 | <tdammers> | the point is that it's not fully defined |
| 2022-04-20 12:16:05 | <abastro> | Yep, I'd like some specialized solution which is better defined, but sufficiently similar with `Read` instance |
| 2022-04-20 12:35:27 | <abastro[m]> | I guess I could use JSON & Aeson, but I think aeson would carry quite a bit of dependency baggage |
| 2022-04-20 13:00:01 | → | wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2022-04-20 13:04:13 | × | ArshiaAghaei[m] quits (~arshiaagh@2001:470:69fc:105::1:c382) (Ping timeout: 240 seconds) |
| 2022-04-20 13:04:25 | → | ArshiaAghaei[m] joins (~arshiaagh@2001:470:69fc:105::1:c382) |
| 2022-04-20 13:04:33 | <abastro> | Perhaps it would not take much effort to implement one myself, let me see. |
| 2022-04-20 14:20:55 | → | rekahsoft joins (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-04-20 14:53:57 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::46a8) |
| 2022-04-20 15:00:35 | <Solid> | there are leaner JSON libraries than aeson out there if that's all that's holding you back from using it |
| 2022-04-20 15:14:51 | × | abastro quits (~abab9579@220.75.216.63) (Ping timeout: 256 seconds) |
| 2022-04-20 15:17:15 | <abastro[m]> | Hmm |
| 2022-04-20 15:17:41 | <abastro[m]> | I mean I think haskell syntax is nice but that might just be my bias |
| 2022-04-20 15:18:35 | <abastro[m]> | Is JSON config file desirable |
| 2022-04-20 15:32:55 | <abastro[m]> | Yea aeson dependency footprint is too huge, as well |
| 2022-04-20 15:49:53 | × | Czernobog quits (~Czernobog@user/czernobog) (Read error: Connection reset by peer) |
| 2022-04-20 15:50:58 | → | Czernobog joins (~Czernobog@user/czernobog) |
| 2022-04-20 15:59:18 | × | wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (Quit: WeeChat 2.8) |
| 2022-04-20 15:59:30 | → | wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2022-04-20 16:00:12 | × | liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle) |
| 2022-04-20 16:01:27 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-04-20 17:01:03 | <geekosaur> | we don't often care about dependencies given cabal/stack manages them for us |
| 2022-04-20 17:01:16 | → | liskin[m] joins (~liskinmat@2001:470:69fc:105::768) |
| 2022-04-20 17:02:37 | <abhixec> | is there a way to make toggleFloatallnew for just the workspace i toggle on? |
| 2022-04-20 17:06:48 | <geekosaur> | not easily |
| 2022-04-20 17:07:39 | <abhixec> | ok thanks! |
| 2022-04-20 17:08:11 | <geekosaur> | you would have to write your own version of toggleFloatAllNew that recorded the current workspace, and a version of floatNextHook that compared it against XMonad.Hooks.ManageHelpers.currentWs |
| 2022-04-20 17:19:45 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2022-04-20 17:35:09 | × | Czernobog quits (~Czernobog@user/czernobog) (Read error: Connection reset by peer) |
| 2022-04-20 17:36:22 | → | Czernobog joins (~Czernobog@user/czernobog) |
| 2022-04-20 17:43:55 | → | werneta joins (~werneta@137.79.201.225) |
| 2022-04-20 17:50:01 | × | jeeeun quits (~jeeeun@78.40.148.178) (Remote host closed the connection) |
| 2022-04-20 17:51:20 | → | jeeeun joins (~jeeeun@78.40.148.178) |
| 2022-04-20 18:02:19 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 240 seconds) |
| 2022-04-20 18:05:54 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-04-20 18:29:23 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 2022-04-20 18:31:39 | → | ge59wox[m] joins (~ge59woxtu@2001:470:69fc:105::1:fdcf) |
| 2022-04-20 18:35:56 | → | lulu_hu joins (~user@2a02:8108:2800:3006:21c8:6b61:ea8a:9f27) |
| 2022-04-20 18:37:07 | × | rekahsoft quits (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 2022-04-20 18:37:53 | <lulu_hu> | hi guys, I wanted to ask whether "keys = myKeys <+> keys def" in my config and " |
| 2022-04-20 18:37:53 | <lulu_hu> | myKeys conf@(XConfig {XMonad.modMask = modm}) = M.fromList [ ] |
| 2022-04-20 18:38:29 | <lulu_hu> | ((modm, xK_y), scratchpadSpawnAction conf) is sufficiet for adding a scratchpad (sorry for the bad formatting, first time usisng an irc). |
| 2022-04-20 18:40:29 | <geekosaur> | the keys and spawn action part has tobeinside the list |
| 2022-04-20 18:40:58 | <geekosaur> | although these days we recommend additionalKeysP instead of manipulating keys like that directly |
| 2022-04-20 18:42:15 | → | Natch joins (~natch@c-5e10225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-04-20 18:57:08 | × | lulu_hu quits (~user@2a02:8108:2800:3006:21c8:6b61:ea8a:9f27) (Remote host closed the connection) |
| 2022-04-20 18:57:34 | → | lulu_hu joins (~user@2a02:8108:2800:3006:21c8:6b61:ea8a:9f27) |
| 2022-04-20 19:00:28 | × | lulu_hu quits (~user@2a02:8108:2800:3006:21c8:6b61:ea8a:9f27) (Remote host closed the connection) |
| 2022-04-20 19:10:12 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::46a8) (Ping timeout: 240 seconds) |
| 2022-04-20 19:16:15 | <geekosaur> | hrm |
| 2022-04-20 19:16:48 | <geekosaur> | looked over the code, it seems to do the right thing. anyone else override the fontName for tabbed? does it work for you? |
| 2022-04-20 19:17:12 | <geekosaur> | (it's not the font that is wrong, I use the same font with Prompt and it works fine) |
| 2022-04-20 19:23:21 | → | lulu_hu joins (~user@ip4d15b30c.dynamic.kabel-deutschland.de) |
| 2022-04-20 19:30:00 | × | Natch quits (~natch@c-5e10225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 276 seconds) |
| 2022-04-20 19:31:44 | × | lulu_hu quits (~user@ip4d15b30c.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2022-04-20 19:32:54 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
All times are in UTC.