Date: Sun, 22 Mar 2020 15:42:25 +0100
From: Philipp <philipp+mmh@bureaucracy.de>
Message-ID: <e474088128ec30f1@hell>
| The first completely covered with the shell history.
Aside from what Ralph said, what shell history is that? Consider
a user using dash, or some similar shell. Also consider that the
commands may be in a script, in which even shells that support some
kind of history usualy do not enable it, and command line editing
is certainly not going to be available.
Never rely upon shell history to handle anything in any application
excecpt the shell in question.
kre