hare

commit d22363f0ff927c3b45405e30786f3c0f1ed484da
parent 3959419099c86531a7419908d23088235762744e
Author: Armin Preiml <apreiml@strohwolke.at>
Date:   Fri, 13 Dec 2024 17:52:51 +0100

os::exec: update pipe() code examples

in order to clarify the pipe direction.

Signed-off-by: Armin Preiml <apreiml@strohwolke.at>

Diffstat:
M
os/exec/+freebsd/exec.ha
 | 
20
++++++++++----------
M
os/exec/+linux/exec.ha
 | 
20
++++++++++----------
M
os/exec/+netbsd/exec.ha
 | 
20
++++++++++----------
M
os/exec/+openbsd/exec.ha
 | 
20
++++++++++----------

4 files changed, 40 insertions(+), 40 deletions(-)
diff --git a/os/exec/+freebsd/exec.ha b/os/exec/+freebsd/exec.ha
@@ -34,24 +34,24 @@ export fn fork() (process | void | error) = {
 //
 // To capture the standard output of a process:
 //
-// 	let pipe = exec::pipe();
-// 	exec::addfile(&cmd, os::stdout_file, pipe.1);
+// 	const (read, write) = exec::pipe();
+// 	exec::addfile(&cmd, os::stdout_file, write);
 // 	let proc = exec::start(&cmd)!;
-// 	io::close(pipe.1)!;
+// 	io::close(write)!;
 //
-// 	let data = io::drain(pipe.0)!;
-// 	io::close(pipe.0)!;
+// 	let data = io::drain(read)!;
+// 	io::close(read)!;
 // 	exec::wait(&proc)!;
 //
 // To write to the standard input of a process:
 //
-// 	let pipe = exec::pipe();
-// 	exec::addfile(&cmd, os::stdin_file, pipe.0);
+// 	const (read, write) = exec::pipe();
+// 	exec::addfile(&cmd, os::stdin_file, read);
 // 	let proc = exec::start(&cmd)!;
+// 	io::close(read)!;
 //
-// 	io::writeall(data)!;
-// 	io::close(pipe.1)!;
-// 	io::close(pipe.0)!;
+// 	io::writeall(write, data)!;
+// 	io::close(write)!;
 // 	exec::wait(&proc)!;
 export fn pipe() (io::file, io::file) = {
 	return unix::pipe()!;
diff --git a/os/exec/+linux/exec.ha b/os/exec/+linux/exec.ha
@@ -34,24 +34,24 @@ export fn fork() (process | void | error) = {
 //
 // To capture the standard output of a process:
 //
-// 	let pipe = exec::pipe();
-// 	exec::addfile(&cmd, os::stdout_file, pipe.1);
+// 	const (read, write) = exec::pipe();
+// 	exec::addfile(&cmd, os::stdout_file, write);
 // 	let proc = exec::start(&cmd)!;
-// 	io::close(pipe.1)!;
+// 	io::close(write)!;
 //
-// 	let data = io::drain(pipe.0)!;
-// 	io::close(pipe.0)!;
+// 	let data = io::drain(read)!;
+// 	io::close(read)!;
 // 	exec::wait(&proc)!;
 //
 // To write to the standard input of a process:
 //
-// 	let pipe = exec::pipe();
-// 	exec::addfile(&cmd, os::stdin_file, pipe.0);
+// 	const (read, write) = exec::pipe();
+// 	exec::addfile(&cmd, os::stdin_file, read);
 // 	let proc = exec::start(&cmd)!;
+// 	io::close(read)!;
 //
-// 	io::writeall(data)!;
-// 	io::close(pipe.1)!;
-// 	io::close(pipe.0)!;
+// 	io::writeall(write, data)!;
+// 	io::close(write)!;
 // 	exec::wait(&proc)!;
 export fn pipe() (io::file, io::file) = {
 	return unix::pipe()!;
diff --git a/os/exec/+netbsd/exec.ha b/os/exec/+netbsd/exec.ha
@@ -34,24 +34,24 @@ export fn fork() (process | void | error) = {
 //
 // To capture the standard output of a process:
 //
-// 	let pipe = exec::pipe();
-// 	exec::addfile(&cmd, os::stdout_file, pipe.1);
+// 	const (read, write) = exec::pipe();
+// 	exec::addfile(&cmd, os::stdout_file, write);
 // 	let proc = exec::start(&cmd)!;
-// 	io::close(pipe.1)!;
+// 	io::close(write)!;
 //
-// 	let data = io::drain(pipe.0)!;
-// 	io::close(pipe.0)!;
+// 	let data = io::drain(read)!;
+// 	io::close(read)!;
 // 	exec::wait(&proc)!;
 //
 // To write to the standard input of a process:
 //
-// 	let pipe = exec::pipe();
-// 	exec::addfile(&cmd, os::stdin_file, pipe.0);
+// 	const (read, write) = exec::pipe();
+// 	exec::addfile(&cmd, os::stdin_file, read);
 // 	let proc = exec::start(&cmd)!;
+// 	io::close(read)!;
 //
-// 	io::writeall(data)!;
-// 	io::close(pipe.1)!;
-// 	io::close(pipe.0)!;
+// 	io::writeall(write, data)!;
+// 	io::close(write)!;
 // 	exec::wait(&proc)!;
 export fn pipe() (io::file, io::file) = {
 	return unix::pipe()!;
diff --git a/os/exec/+openbsd/exec.ha b/os/exec/+openbsd/exec.ha
@@ -35,24 +35,24 @@ export fn fork() (process | void | error) = {
 //
 // To capture the standard output of a process:
 //
-// 	let pipe = exec::pipe();
-// 	exec::addfile(&cmd, os::stdout_file, pipe.1);
+// 	const (read, write) = exec::pipe();
+// 	exec::addfile(&cmd, os::stdout_file, write);
 // 	let proc = exec::start(&cmd)!;
-// 	io::close(pipe.1)!;
+// 	io::close(write)!;
 //
-// 	let data = io::drain(pipe.0)!;
-// 	io::close(pipe.0)!;
+// 	let data = io::drain(read)!;
+// 	io::close(read)!;
 // 	exec::wait(&proc)!;
 //
 // To write to the standard input of a process:
 //
-// 	let pipe = exec::pipe();
-// 	exec::addfile(&cmd, os::stdin_file, pipe.0);
+// 	const (read, write) = exec::pipe();
+// 	exec::addfile(&cmd, os::stdin_file, read);
 // 	let proc = exec::start(&cmd)!;
+// 	io::close(read)!;
 //
-// 	io::writeall(data)!;
-// 	io::close(pipe.1)!;
-// 	io::close(pipe.0)!;
+// 	io::writeall(write, data)!;
+// 	io::close(write)!;
 // 	exec::wait(&proc)!;
 export fn pipe() (io::file, io::file) = {
 	return unix::pipe()!;