| 2023-12-05 00:28:36 +0100 | yaslam | (~yaslam@user/yaslam) (Quit: -a- IRC for Android 2.1.60) |
| 2023-12-05 01:38:41 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:2823:fd6b:81cc:5297) (Ping timeout: 252 seconds) |
| 2023-12-05 03:46:34 +0100 | <haskellbridge> | <beastwick> 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 |
| 2023-12-05 03:51:11 +0100 | <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. |
| 2023-12-05 03:53:15 +0100 | <geekosaur> | oh, the default is Data.List.isPrefixOf |
| 2023-12-05 03:53:57 +0100 | <geekosaur> | just as an example of how simple it can be |
| 2023-12-05 03:56:37 +0100 | <haskellbridge> | <beastwick> 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 |
| 2023-12-05 03:56:43 +0100 | <haskellbridge> | <beastwick> like at shell prompt I don't want fuzzymatching |
| 2023-12-05 03:57:11 +0100 | <haskellbridge> | <beastwick> sounds silly, but I prefer fuzzymatch on run prompt, for the shell I am usually trying to execute some programs with custom commands |
| 2023-12-05 03:57:47 +0100 | <geekosaur> | `import Data.List (isPrefixOf)` and then use `myXPConfig {searchPredicate = isPrefixOf}` or whatever |
| 2023-12-05 03:58:51 +0100 | <haskellbridge> | <beastwick> yes perfect :) |
| 2023-12-05 03:59:03 +0100 | <haskellbridge> | <beastwick> where did you find that btw? |
| 2023-12-05 03:59:19 +0100 | <geekosaur> | https://github.com/xmonad/xmonad-contrib/blob/master/XMonad/Prompt.hs#L349 |
| 2023-12-05 03:59:40 +0100 | <haskellbridge> | <beastwick> maybe I missed where it says the default, thanks |
| 2023-12-05 03:59:52 +0100 | <geekosaur> | although I could probably have guessed if I'd thought about the implications of "searchPredicate" |
| 2023-12-05 04:00:09 +0100 | <geekosaur> | yeh, that line is in the middle of the source definition of the default |
| 2023-12-05 04:00:46 +0100 | <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 |
| 2023-12-05 04:01:05 +0100 | <haskellbridge> | <beastwick> yes, I think I will do that |
| 2023-12-05 04:48:39 +0100 | td_ | (~td@i53870905.versanet.de) (Ping timeout: 256 seconds) |
| 2023-12-05 04:50:20 +0100 | td_ | (~td@i5387092A.versanet.de) |
| 2023-12-05 06:55:52 +0100 | sagax | (~sagax_nb@user/sagax) |
| 2023-12-05 08:05:47 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:1367:5966:495b:292c) |
| 2023-12-05 10:21:42 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2023-12-05 11:12:59 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2023-12-05 11:53:17 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:1367:5966:495b:292c) (Remote host closed the connection) |
| 2023-12-05 11:53:36 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:fb94:68e0:bd80:c016) |
| 2023-12-05 14:26:31 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:fb94:68e0:bd80:c016) (Ping timeout: 246 seconds) |
| 2023-12-05 16:08:29 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:d431:2a33:17df:c8f8) |
| 2023-12-05 16:32:45 +0100 | abiss27 | (~abiss27@190.213.236.106) |
| 2023-12-05 16:35:51 +0100 | abiss27 | (~abiss27@190.213.236.106) (Client Quit) |
| 2023-12-05 16:55:46 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 245 seconds) |
| 2023-12-05 17:31:28 +0100 | vishnix | (~vishwas@c-73-9-42-9.hsd1.il.comcast.net) |
| 2023-12-05 17:37:37 +0100 | benin | (~benin@183.82.26.6) |
| 2023-12-05 17:57:17 +0100 | vishnix | (~vishwas@c-73-9-42-9.hsd1.il.comcast.net) (Quit: leaving) |
| 2023-12-05 17:59:41 +0100 | sagax | (~sagax_nb@user/sagax) (Quit: Konversation terminated!) |
| 2023-12-05 18:44:44 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2023-12-05 18:55:16 +0100 | tremon | (~tremon@83.80.159.219) |
| 2023-12-05 19:17:41 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-12-05 20:00:29 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:d431:2a33:17df:c8f8) (Ping timeout: 240 seconds) |
| 2023-12-05 20:09:57 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2023-12-05 20:10:24 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2023-12-05 22:34:04 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |