Syntax
where
The /: command is used to delete input lines from the
command history so that they are not saved to a history
file . This would be appropriate to remove input lines containing
mistakes, etc., from the command history. The equations
The rounded value of each equation is intended to represent the integer
address of an item retained in the command history . If this
address does not match any entry in the current command history
then no action is taken. Otherwise, the effect is to remove from the
command history the input lines whose addresses are the rounded
values of
are equations which will be rounded to
integers.
are
parsed in the normal way before the value of the equation is determined.
. (The addresses can be reviewed beforehand by
issuing the !: command.) If no arguments are given, then
nothing happens. Whichever, this command line is not reproduced in the
command history.