Home liberachat/#xmonad: Logs Calendar

Logs on 2023-12-05 (liberachat/#xmonad)

00:38:41 × alp_ quits (~alp@2001:861:e3d6:8f80:2823:fd6b:81cc:5297) (Ping timeout: 252 seconds)
02:46:34 <haskellbridge> <b​eastwick> hi where can i find all the possible values for searchPredicate? https://hackage.haskell.org/package/xmonad-contrib-0.17.1/docs/XMonad-Prompt.html the docs here don't list any others besides FuzzyMatch
02:51:11 <geekosaur> I think that's the only one we provide. It's a simple function; the point is you could write your own if you wanted to.
02:53:15 <geekosaur> oh, the default is Data.List.isPrefixOf
02:53:57 <geekosaur> just as an example of how simple it can be
02:56:37 <haskellbridge> <b​eastwick> ok so reason why I am asking is because instead of defining a new XPConfig def, I just want to change that property to the default in some cases
02:56:43 <haskellbridge> <b​eastwick> like at shell prompt I don't want fuzzymatching
02:57:11 <haskellbridge> <b​eastwick> sounds silly, but I prefer fuzzymatch on run prompt, for the shell I am usually trying to execute some programs with custom commands
02:57:47 <geekosaur> `import Data.List (isPrefixOf)` and then use `myXPConfig {searchPredicate = isPrefixOf}` or whatever
02:58:51 <haskellbridge> <b​eastwick> yes perfect :)
02:59:03 <haskellbridge> <b​eastwick> where did you find that btw?
02:59:19 <geekosaur> https://github.com/xmonad/xmonad-contrib/blob/master/XMonad/Prompt.hs#L349
02:59:40 <haskellbridge> <b​eastwick> maybe I missed where it says the default, thanks
02:59:52 <geekosaur> although I could probably have guessed if I'd thought about the implications of "searchPredicate"
03:00:09 <geekosaur> yeh, that line is in the middle of the source definition of the default
03:00:46 <geekosaur> you could file a documentation bug on XMonad.Prompt, it really should say that somewhere instead of needing to dig in the source like I did
03:01:05 <haskellbridge> <b​eastwick> yes, I think I will do that
03:48:39 × td_ quits (~td@i53870905.versanet.de) (Ping timeout: 256 seconds)
03:50:20 → td_ joins (~td@i5387092A.versanet.de)
05:55:52 → sagax joins (~sagax_nb@user/sagax)
07:05:47 → alp_ joins (~alp@2001:861:e3d6:8f80:1367:5966:495b:292c)
09:21:42 → cfricke joins (~cfricke@user/cfricke)
10:12:59 × haskellbridge quits (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
10:53:17 × alp_ quits (~alp@2001:861:e3d6:8f80:1367:5966:495b:292c) (Remote host closed the connection)
10:53:36 → alp_ joins (~alp@2001:861:e3d6:8f80:fb94:68e0:bd80:c016)
13:26:31 × alp_ quits (~alp@2001:861:e3d6:8f80:fb94:68e0:bd80:c016) (Ping timeout: 246 seconds)
15:08:29 → alp_ joins (~alp@2001:861:e3d6:8f80:d431:2a33:17df:c8f8)
15:32:45 → abiss27 joins (~abiss27@190.213.236.106)
15:35:51 × abiss27 quits (~abiss27@190.213.236.106) (Client Quit)
15:55:46 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 245 seconds)
16:31:28 → vishnix joins (~vishwas@c-73-9-42-9.hsd1.il.comcast.net)
16:37:37 → benin joins (~benin@183.82.26.6)
16:57:17 × vishnix quits (~vishwas@c-73-9-42-9.hsd1.il.comcast.net) (Quit: leaving)
16:59:41 × sagax quits (~sagax_nb@user/sagax) (Quit: Konversation terminated!)
17:44:44 → haskellbridge joins (~haskellbr@069-135-003-034.biz.spectrum.com)
17:55:16 → tremon joins (~tremon@83.80.159.219)
18:17:41 → mc47 joins (~mc47@xmonad/TheMC47)
19:00:29 × alp_ quits (~alp@2001:861:e3d6:8f80:d431:2a33:17df:c8f8) (Ping timeout: 240 seconds)
19:09:57 × haskellbridge quits (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
19:10:24 → haskellbridge joins (~haskellbr@069-135-003-034.biz.spectrum.com)
21:34:04 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
23:29:55 × tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in)

All times are in UTC on 2023-12-05.