line-input/src/commandline.lalrpop, branch mainA library for handling line-based input in the terminal. Will include complex async and windowing logic.
http://code.irenes.space/line-input/atom?h=main2024-03-13T04:54:28+00:00remove a lot of stuff that was part of the shell and does not need to be part of the line input library2024-03-13T04:54:28+00:00Irene Knappireneista@irenes.space2024-03-13T04:54:28+00:00urn:sha1:7be9acd0bb08901c9fdfa45b694b7d3d5a594e70
Change-Id: Idd0435a4b29f5f525c9279e5c1d27916e6320685
don't require a newline at the end of a command line, because we've stripped that by the time it's parsed2021-01-30T08:38:22+00:00Irene Knappireneista@gmail.com2021-01-30T08:38:22+00:00urn:sha1:a159d4dd29491a1eb88163e63ceb41a903dc47b6Clarify the regexp comment even more, and allow empty invocations so the error can be dealt with at a higher level2021-01-02T03:24:17+00:00Irene Knappireneista@gmail.com2021-01-02T03:24:17+00:00urn:sha1:24c8a559bcf442e1769f3f0cb98e6430e3db1be5path lists parse okay now2020-12-15T04:14:11+00:00Irene Knappireneista@gmail.com2020-12-15T04:14:11+00:00urn:sha1:0940e1f0bf8b9e499717b02cefe8c59601c21673Parse space-separated words.2020-09-22T21:19:40+00:00Irene Knappireneista@gmail.com2020-09-22T21:19:40+00:00urn:sha1:71e647b349036069751a457f3e0e8fda1b54cd2aUse lalrpop in a trivial way as a proof of concept. Mess with some Unicode character classes.2020-09-16T03:22:35+00:00Irene Knappireneista@gmail.com2020-09-16T03:22:35+00:00urn:sha1:cca86b496e00605163e96d93cda4b9b248df91fe