Newest at the top
| 2026-05-14 05:14:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-14 05:08:09 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-05-14 05:07:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 05:06:21 +0000 | Digit | (~user@user/digit) Digit |
| 2026-05-14 05:03:29 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-14 05:03:05 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2026-05-14 05:02:50 +0000 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2026-05-14 04:58:08 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 04:57:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-14 04:57:07 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Remote host closed the connection) |
| 2026-05-14 04:52:15 +0000 | michalz | (~michalz@185.246.207.205) |
| 2026-05-14 04:52:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 04:50:26 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-14 04:49:09 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-05-14 04:25:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-14 04:25:30 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-05-14 04:20:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 04:15:05 +0000 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2026-05-14 04:14:23 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-05-14 04:11:34 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2026-05-14 04:10:41 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-14 04:09:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-14 04:04:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 03:54:00 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-14 03:48:57 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-14 03:46:06 +0000 | <tri> | ok thank you, I will work it out |
| 2026-05-14 03:45:37 +0000 | <geekosaur> | for now at least |
| 2026-05-14 03:45:36 +0000 | <tri> | I mean I know I could keep it simple and pattern match the maybe, but a transfromer here to group the 2 monad would be good |
| 2026-05-14 03:45:26 +0000 | <geekosaur> | yes |
| 2026-05-14 03:45:12 +0000 | <tri> | so in a situation like this, where I got maybe in IO, it's a valid reason to use maybeT right? |
| 2026-05-14 03:44:26 +0000 | Square | (~Square@user/square) Square |
| 2026-05-14 03:44:25 +0000 | <geekosaur> | so the execute check needs to be in isCommandInPath, which keeps searching if it finds a non-executable |
| 2026-05-14 03:44:23 +0000 | <tri> | but I do want to carry out the maybeT though, it's a chance to try it |
| 2026-05-14 03:44:06 +0000 | <tri> | ok so I misread the requirement |
| 2026-05-14 03:43:41 +0000 | <tri> | ah... |
| 2026-05-14 03:43:28 +0000 | <geekosaur> | if all matching files on the PATH lack execute, you'll get Nothing back |
| 2026-05-14 03:43:25 +0000 | <tri> | ok lmc |
| 2026-05-14 03:42:59 +0000 | <geekosaur> | look at "If the file exists but lacks…" |
| 2026-05-14 03:42:42 +0000 | <tri> | I don't get this "" |
| 2026-05-14 03:42:39 +0000 | <tri> | 23:37 geekosaur: which would also solve this as you never need the second one |
| 2026-05-14 03:42:38 +0000 | <tri> | also you should keep searching in the path if it's not |
| 2026-05-14 03:41:22 +0000 | <tri> | ah yea I see I got the if else inversed. I will fix that |
| 2026-05-14 03:40:29 +0000 | <geekosaur> | oh, in fact, reread what you just wrote and compare to what I suggested |
| 2026-05-14 03:40:14 +0000 | <tri> | ok let me see... |
| 2026-05-14 03:40:04 +0000 | <geekosaur> | yes, now look at your condition and what you do |
| 2026-05-14 03:39:47 +0000 | <tri> | If no executable is found in any directory, print <command>: not found. |
| 2026-05-14 03:39:45 +0000 | <tri> | If the file exists but lacks execute permissions, skip it and continue to the next directory. |
| 2026-05-14 03:39:45 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:c347:f768:e2bf:15ae) (Quit: ricardomaps) |
| 2026-05-14 03:39:43 +0000 | <tri> | If the file exists and has execute permissions, print <command> is <full_path> and stop. |
| 2026-05-14 03:39:41 +0000 | <tri> | Check if the file has execute permissions. |