tester/src/Parser/Shell.hs, branch v0.3.5[no description]Do not stop shell command parsing on some not-yet-used special chars2025-11-06T21:00:10+00:00Roman Smržroman.smrz@seznam.cz2025-11-06T21:00:10+00:0080bec33fe694f916eba96befdab63548077cdec5
Redirection in shell scripts2025-10-05T19:24:13+00:00Roman Smržroman.smrz@seznam.cz2025-10-04T19:45:02+00:006ee42f58d7293d810a5406d06020e1fdc9bcdaf0
Changelog: Implemented input/output redirection in shell scripts
Changelog: Implemented input/output redirection in shell scripts
Shell: custom data type for command arguments2025-10-02T19:21:14+00:00Roman Smržroman.smrz@seznam.cz2025-10-02T18:52:34+00:00612e329ff8fab4b50fbe6d21f39842ced351eb57
Avoid using Expr Maybe when parsing shell pipeline2025-09-29T18:44:54+00:00Roman Smržroman.smrz@seznam.cz2025-09-29T18:40:05+00:00c993c83b90a63dd7d6e6cabccaf5ea9c19b54786
Shell pipes2025-08-25T20:55:25+00:00Roman Smržroman.smrz@seznam.cz2025-08-07T19:45:20+00:00fc40dfc41e8b3fbbe830846499ccce122930b235
Changelog: Implemented pipes in shell scripts
Changelog: Implemented pipes in shell scripts
Shell: list all shell special characters for parser2025-08-02T15:27:34+00:00Roman Smržroman.smrz@seznam.cz2025-08-02T15:08:59+00:00e4a392c1c3089e0ec77601d99cd19be4403bb3a1
Shell: support backslash-escaped spaces2025-08-02T14:30:13+00:00Roman Smržroman.smrz@seznam.cz2025-08-02T14:30:13+00:0007a95fc6138446529384b08ecd1ecc2d54861761
Print source line of shell command failure2025-05-31T14:54:42+00:00Roman Smržroman.smrz@seznam.cz2025-05-31T14:54:42+00:0017fb83b2289f527d4242a7b66df963b56f850f2e
Fix build with older base2025-05-25T17:38:06+00:00Roman Smržroman.smrz@seznam.cz2025-05-25T17:38:06+00:00e95f409e90322d1477993eade2462c8c47e69e8d
Single-quoted strings in shell2025-05-15T20:20:33+00:00Roman Smržroman.smrz@seznam.cz2025-05-15T20:20:33+00:002bc126785982cc0c66672c21d8baec905d1f2b3c