Logs: liberachat/#xmonad
| 2022-07-20 21:59:19 | × | kaskal quits (~kaskal@2001:4bb8:2c0:3963:7278:d0d4:9479:4919) (Quit: ZNC - https://znc.in) |
| 2022-07-20 22:25:13 | → | kaskal joins (~kaskal@089144220061.atnat0029.highway.webapn.at) |
| 2022-07-20 22:57:49 | → | kaskal- joins (~kaskal@089144220061.atnat0029.highway.webapn.at) |
| 2022-07-20 22:58:44 | × | kaskal quits (~kaskal@089144220061.atnat0029.highway.webapn.at) (Ping timeout: 272 seconds) |
| 2022-07-20 23:10:03 | × | chomwitt quits (~chomwitt@2a02:587:dc00:5a00:ce0a:91e7:ff12:4713) (Ping timeout: 276 seconds) |
| 2022-07-20 23:17:53 | × | catman quits (~catman@user/catman) (Quit: WeeChat 3.6) |
| 2022-07-20 23:18:18 | → | catman joins (~catman@user/catman) |
| 2022-07-20 23:49:02 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-21 00:39:52 | × | kaskal- quits (~kaskal@089144220061.atnat0029.highway.webapn.at) (Quit: ZNC - https://znc.in) |
| 2022-07-21 00:41:20 | → | kaskal joins (~kaskal@2001:4bb8:2c0:3963:7278:d0d4:9479:4919) |
| 2022-07-21 01:16:58 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2022-07-21 01:25:42 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-21 01:30:30 | → | steve__ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-07-21 01:33:27 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 272 seconds) |
| 2022-07-21 01:53:34 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-21 02:04:48 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 268 seconds) |
| 2022-07-21 02:23:06 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2022-07-21 02:48:23 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-21 02:50:51 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-07-21 02:54:35 | × | td_ quits (~td@muedsl-82-207-238-080.citykom.de) (Ping timeout: 260 seconds) |
| 2022-07-21 02:56:21 | → | td_ joins (~td@muedsl-82-207-238-040.citykom.de) |
| 2022-07-21 03:05:51 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-07-21 03:24:58 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 240 seconds) |
| 2022-07-21 04:11:50 | × | steve__ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2022-07-21 06:21:59 | → | dschrempf joins (~dominik@2a01-036d-0118-b0ba-e5e0-6cbe-f350-bd2b.pool6.digikabel.hu) |
| 2022-07-21 06:24:08 | → | chomwitt joins (~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c) |
| 2022-07-21 06:39:59 | × | dschrempf quits (~dominik@2a01-036d-0118-b0ba-e5e0-6cbe-f350-bd2b.pool6.digikabel.hu) (Quit: WeeChat 3.6) |
| 2022-07-21 06:44:01 | → | steve__ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-07-21 07:13:21 | → | alternateved joins (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-21 07:29:55 | → | cfricke joins (~cfricke@user/cfricke) |
| 2022-07-21 08:11:13 | → | dschrempf joins (~dominik@2a01-036d-0118-b0ba-4d3d-ba11-3857-5d63.pool6.digikabel.hu) |
| 2022-07-21 08:51:29 | × | alternateved quits (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 2022-07-21 09:04:40 | × | Ocelot quits (~ocelot@50-78-208-189-static.hfc.comcastbusiness.net) (Quit: Leaving) |
| 2022-07-21 09:26:39 | → | aliosablack joins (~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c) |
| 2022-07-21 09:29:02 | × | chomwitt quits (~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c) (Ping timeout: 255 seconds) |
| 2022-07-21 10:04:55 | → | alternateved joins (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-21 10:12:47 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2022-07-21 10:17:02 | × | benemorius quits (~benemoriu@2001:470:4bb0:919::1:56) (Ping timeout: 272 seconds) |
| 2022-07-21 10:23:00 | → | cfricke joins (~cfricke@user/cfricke) |
| 2022-07-21 10:23:22 | → | benemorius joins (~benemoriu@rrcs-24-153-227-174.sw.biz.rr.com) |
| 2022-07-21 10:33:50 | × | benemorius quits (~benemoriu@rrcs-24-153-227-174.sw.biz.rr.com) (Ping timeout: 255 seconds) |
| 2022-07-21 10:41:06 | → | benemorius joins (~benemoriu@2001:470:4bb0:919::1:56) |
| 2022-07-21 10:58:27 | × | dschrempf quits (~dominik@2a01-036d-0118-b0ba-4d3d-ba11-3857-5d63.pool6.digikabel.hu) (Ping timeout: 244 seconds) |
| 2022-07-21 11:55:23 | × | hexo_ quits (~hexo@2a02-ab04-2843-9500-c503-ec78-dbed-e319.dynamic.v6.chello.sk) (Ping timeout: 272 seconds) |
| 2022-07-21 11:55:45 | → | hexo_ joins (~hexo@188-167-252-189.dynamic.chello.sk) |
| 2022-07-21 12:01:53 | → | dschrempf joins (~dominik@2a01-036d-0118-b0ba-3e27-23b2-a101-5a33.pool6.digikabel.hu) |
| 2022-07-21 12:19:48 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2022-07-21 12:19:58 | × | dschrempf quits (~dominik@2a01-036d-0118-b0ba-3e27-23b2-a101-5a33.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-07-21 13:10:50 | × | aliosablack quits (~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c) (Ping timeout: 240 seconds) |
| 2022-07-21 13:24:39 | → | scardina1 joins (~supreme@customer-212-237-101-39.ip4.gigabit.dk) |
| 2022-07-21 13:26:44 | × | scardinal quits (~supreme@customer-212-237-101-39.ip4.gigabit.dk) (Ping timeout: 244 seconds) |
| 2022-07-21 13:44:50 | scardina1 | is now known as scardinal |
| 2022-07-21 14:09:24 | → | benin0 joins (~benin@183.82.24.82) |
| 2022-07-21 14:18:31 | → | dschrempf joins (~dominik@2a01-036d-0118-b0ba-f6ba-82af-30e2-2b10.pool6.digikabel.hu) |
| 2022-07-21 14:22:46 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2022-07-21 14:25:06 | → | benin00 joins (~benin@183.82.24.116) |
| 2022-07-21 14:27:16 | × | benin0 quits (~benin@183.82.24.82) (Ping timeout: 268 seconds) |
| 2022-07-21 14:27:17 | benin00 | is now known as benin0 |
| 2022-07-21 14:37:57 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-07-21 15:12:42 | × | Hash quits (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) (Quit: ZNC - https://znc.in) |
| 2022-07-21 15:16:48 | → | Hash joins (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) |
| 2022-07-21 15:21:50 | × | dschrempf quits (~dominik@2a01-036d-0118-b0ba-f6ba-82af-30e2-2b10.pool6.digikabel.hu) (Ping timeout: 255 seconds) |
| 2022-07-21 15:39:37 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-21 15:44:11 | <valarMorghulis[m> | Is there a way to get current workspace name in xmonad.hs |
| 2022-07-21 15:44:27 | <valarMorghulis[m> | Using StackSet or something |
| 2022-07-21 15:46:41 | <geekosaur> | gets (W.currentTag . windowset) |
| 2022-07-21 15:46:56 | <geekosaur> | (import qualified XMonad.StackSet as W) |
| 2022-07-21 15:51:52 | → | the-third-realm[ joins (~the-third@2001:470:69fc:105::1:c326) |
| 2022-07-21 15:55:05 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 16:07:02 | → | aliosablack joins (~chomwitt@2a02:587:dc00:5a00:73ad:509c:ee84:62f2) |
| 2022-07-21 16:16:21 | <valarMorghulis[m> | I wanted to have different windoe spawn for different workspaces, therefore i implemented this function... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/74edaa493bd55c785ef35427a8993635e6534b7c) |
| 2022-07-21 16:18:23 | <geekosaur> | don't you want `elem "Code"`? |
| 2022-07-21 16:18:33 | <geekosaur> | I don't see why you would wrap it in another list |
| 2022-07-21 16:20:25 | <geekosaur> | (also I wonder if you actually want `isInfixOf`, looking at that code) |
| 2022-07-21 16:20:40 | <geekosaur> | @index isInfixOf |
| 2022-07-21 16:20:40 | <lambdabot> | GHC.OldList, Data.List, Data.ByteString, Data.ByteString.Char8, Distribution.Simple.Utils |
| 2022-07-21 16:23:50 | <valarMorghulis[m> | <geekosaur> "I don't see why you would wrap..." <- I want to pass a list of workspace names and check if the current workspace is in that list |
| 2022-07-21 16:24:01 | <valarMorghulis[m> | Thats the reason I used list |
| 2022-07-21 16:25:18 | × | benin0 quits (~benin@183.82.24.116) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-21 16:26:34 | <geekosaur> | ah. so you need to use flip somewhere, or rephrase the `elem` as a right-applied section |
| 2022-07-21 16:29:20 | <valarMorghulis[m> | You mean like this? `<+> manageWorkspace ( ["Code"] 'elem' ) (insertPosition End Newer) (insertPosition Master Newer)` |
| 2022-07-21 16:29:58 | <geekosaur> | with the other quotes, but ["Code"] needs to be on the right (it's the second / right parameter of `elem`) |
| 2022-07-21 16:31:17 | <geekosaur> | ``` (`elem` ["Code"]) ``` or `flip elem ["Code"]` |
| 2022-07-21 16:42:46 | → | Digit joins (~user@user/digit) |
| 2022-07-21 16:44:08 | <valarMorghulis[m> | Even hard coding it to the fn doesn't work... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/024270325c6041811cfc54568038dfaa61794ff3) |
| 2022-07-21 16:44:31 | <valarMorghulis[m> | <geekosaur> "gets (W.currentTag . windowset)" <- Does this return a string? |
| 2022-07-21 16:49:05 | <geekosaur> | yes |
| 2022-07-21 16:49:46 | <geekosaur> | elem there needs to be in backticks since it's a function used as infix |
| 2022-07-21 16:50:31 | <geekosaur> | > "abc" `elem` ["abc", "fgh", "wxz"] |
| 2022-07-21 16:50:32 | <lambdabot> | True |
| 2022-07-21 16:50:53 | <geekosaur> | hm, matrix might not render that |
| 2022-07-21 16:53:00 | <geekosaur> | https://play-haskell.tomsmeding.com/play/paste/I1hwYjId/1 |
| 2022-07-21 16:53:24 | <geekosaur> | sadly I can't use xmonad functions in the playground |
| 2022-07-21 16:56:47 | <geekosaur> | oh, that paste is mangled, presumably also by matrix |
| 2022-07-21 16:57:01 | <geekosaur> | there are downsides to matrix trying to be fancy |
| 2022-07-21 17:00:47 | <geekosaur> | sigh, I need to edit my update script to build the ghci libs as well, so I don't have to wait for it when I `cabal repl` 😕 |
| 2022-07-21 17:03:05 | <geekosaur> | oh, how are you getting `i` there? it needs to be in the X monad and I hope it's not failing that and using list instead |
| 2022-07-21 17:03:29 | <geekosaur> | gets $ W.currentTag . windowset |
| 2022-07-21 17:03:30 | <geekosaur> | :: MonadState XState m => m WorkspaceId |
| 2022-07-21 17:05:06 | <geekosaur> | hm, except that should also fail to typecheck because it won't have MonadState |
All times are in UTC.