Newest at the top
| 2025-02-12 21:51:05 +0100 | <merijn> | euouae: You already have a shell if you can call cabal with --ghc-options |
| 2025-02-12 21:51:04 +0100 | <tomsmeding> | that's not the shell |
| 2025-02-12 21:50:48 +0100 | <merijn> | tomsmeding: I'm not 100% it goes via the shell, I was thinking it goes via proc |
| 2025-02-12 21:50:43 +0100 | <tomsmeding> | okay --ghc-options seems to escape $ and ` in any case |
| 2025-02-12 21:50:27 +0100 | <euouae> | merijn: it doesn't super-matter, but I'm just telling you that it's definitely an error from a security perspective |
| 2025-02-12 21:50:20 +0100 | sprotte24 | (~sprotte24@p200300d16f0a8e003d8337fe7ef7e64f.dip0.t-ipconnect.de) |
| 2025-02-12 21:50:10 +0100 | <tomsmeding> | why is there a shell in the first place? |
| 2025-02-12 21:49:51 +0100 | <euouae> | the expected behavior of --ghc-options= should not be "you get a shell and do w/e you want" |
| 2025-02-12 21:49:49 +0100 | <tomsmeding> | well it's clearly a violation of expectations if something passed to --ghc-options, or god forbid --ghc-option, gets interpreted by a shell |
| 2025-02-12 21:49:49 +0100 | <merijn> | euouae: Why does it matter? |
| 2025-02-12 21:49:40 +0100 | yegorc | (~yegorc@user/yegorc) yegorc |
| 2025-02-12 21:49:27 +0100 | <euouae> | it's definitely an issue, it shouldn't happen like that |
| 2025-02-12 21:49:01 +0100 | <merijn> | tomsmeding: I don't see how that's an issue, tbh |
| 2025-02-12 21:48:28 +0100 | <euouae> | tomsmeding: or just ; rm -rf |
| 2025-02-12 21:48:27 +0100 | <merijn> | tomsmeding: who knows |
| 2025-02-12 21:48:12 +0100 | <tomsmeding> | what if I put $() in --ghc-options |
| 2025-02-12 21:48:07 +0100 | <merijn> | tomsmeding: I'm 80% sure of that |
| 2025-02-12 21:48:04 +0100 | <tomsmeding> | does it do proper quoting when I pass --ghc-option with an OPT containing weird stuff |
| 2025-02-12 21:47:50 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-12 21:47:49 +0100 | <euouae> | merijn: okay, then it should say OPTS passed as-is |
| 2025-02-12 21:47:47 +0100 | <tomsmeding> | merijn: O.o |
| 2025-02-12 21:47:42 +0100 | <merijn> | euouae: it's a shell process call |
| 2025-02-12 21:47:32 +0100 | <tomsmeding> | euouae: break them |
| 2025-02-12 21:47:30 +0100 | <merijn> | euouae: There is not space splitting |
| 2025-02-12 21:47:25 +0100 | <merijn> | euouae: I meant that if you write --ghc-options="foo bar baz" it literally just appends foo bar baz to the ghc call |
| 2025-02-12 21:47:22 +0100 | <euouae> | and who knows how the space-splitting works with arguments that contain spaces |
| 2025-02-12 21:46:58 +0100 | <euouae> | instead of how they currently explain it |
| 2025-02-12 21:46:49 +0100 | <euouae> | merijn: what do you mean? I'm just saying what I would prefer the docs would say |
| 2025-02-12 21:46:47 +0100 | <tomsmeding> | merijn: yes, that's what --ghc-option (singular) does |
| 2025-02-12 21:46:33 +0100 | <euouae> | and --PROG-options=OPTS space-separated arguments |
| 2025-02-12 21:46:32 +0100 | <merijn> | euouae: then you'd have to have one flag per argument |
| 2025-02-12 21:46:14 +0100 | <euouae> | I would prefer: OPT is passed as-is as a single argument |
| 2025-02-12 21:46:08 +0100 | <tomsmeding> | because you get magic space splitting |
| 2025-02-12 21:46:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-12 21:46:03 +0100 | <tomsmeding> | --*-options is convenience for a user, tooling should never use it |
| 2025-02-12 21:46:01 +0100 | <merijn> | euouae: it's saying that "argument of ghc-options is passed "as-is" to ghc |
| 2025-02-12 21:45:50 +0100 | <euouae> | Right I'm just pointing out one more place where some improvement on the wording would help |
| 2025-02-12 21:45:35 +0100 | <tomsmeding> | I think that's accurate |
| 2025-02-12 21:45:29 +0100 | <euouae> | But in --ghc-options, spaces mean multiple arguments. It's *very* unclear |
| 2025-02-12 21:45:26 +0100 | <tomsmeding> | yes |
| 2025-02-12 21:45:18 +0100 | <euouae> | I had no idea what "no need to quote options containing spaces" meant. I think it means it's all passed as one option in --ghc-option. |
| 2025-02-12 21:45:14 +0100 | <tomsmeding> | that presumably covers --ghc-option |
| 2025-02-12 21:44:51 +0100 | <euouae> | --PROG-option=OPT give an extra option to PROG (no need to quote options containing spaces) --PROG-options=OPTS give extra options to PROG |
| 2025-02-12 21:44:43 +0100 | <euouae> | also here's what I get from --help: |
| 2025-02-12 21:44:12 +0100 | <merijn> | tomsmeding: Probably should |
| 2025-02-12 21:44:10 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-02-12 21:43:53 +0100 | <euouae> | lol |
| 2025-02-12 21:43:46 +0100 | <merijn> | euouae: Me approximately 7 years ago :p |
| 2025-02-12 21:43:28 +0100 | <merijn> | so, space separated |
| 2025-02-12 21:43:18 +0100 | <merijn> | but at a glance it's calling setup with the contents of replFlags passed in as-is |