5 Commits

Author	SHA1	Message	Date
apio	e378d8ee2f	Revert "libos: Make File::read_line optionally strip the ending newline" ... This should be done by the caller, as making libos do it will not return a different value if the line was empty or was EOF. Fortunately, we now have String::trim.	2023-04-22 15:21:04 +02:00
apio	63a2df112d	libos: Make File::read_line optionally strip the ending newline	2023-04-22 13:55:07 +02:00
apio	fe11b04832	File: Add methods to read/write using buffers	2023-04-18 16:41:17 +02:00
apio	60c6e764a4	libos+apps: Add some missing functionality to File and eliminate any trace of C from cat and edit	2023-04-13 17:31:21 +02:00
apio	d97bf991d1	libos: Add a very bare-bones C++ RAII File class	2023-04-12 21:46:10 +02:00