shithub: docs.9front.org

Download patch

ref: 3b48971ab924e3dfe4061fc5920d1ca2e2ca4005
parent: f2b13d621a4367e8f26a2425607f53beba65f34b
author: Sigrid Haflínudóttir <ftrvxmtrx@gmail.com>
date: Thu Aug 13 04:21:30 EDT 2020

cat vs <: better wording

--- a/tips-and-tricks.md
+++ b/tips-and-tricks.md
@@ -53,5 +53,5 @@
 
 `cat input | something >output` or `something <input >output`? Prefer the latter as it requires
 less resources. It also allows the `something` program to use `input` as a normal file rather than
-a pipe, ie it is able to have random file access, while with pipes all it can do is read the file
-in sequential order.
+a pipe, ie it has random access, while with pipes all it can do is read the file in strictly
+sequential order.