Manual: A note on order of --stdout and --stderr

ioi · Dec 28, 2017 · f4e8f15 · f4e8f15
1 parent f7b60f2
commit f4e8f15
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/isolate.1.txt b/isolate.1.txt
@@ -102,7 +102,8 @@ OPTIONS
 *-r, --stderr=*'file'::
 	Redirect standard error output to 'file'. The 'file' has to be accessible
 	inside the sandbox. Otherwise, standard error output is inherited from the
-	parent process.
+	parent process. Stderr is redirected after stdout, so *--stderr=/dev/fd/1*
+	works (assuming that */dev* is available inside the box).
 
 *-c, --chdir=*'dir'::
 	Change directory to 'dir' before executing the program. This path must be