% history clean
history: Badly formed number.
% echo $0
/usr/local/bin/tcsh
% uname
SunOS
% grep -e "hist" .tcshrc.user
set history=90
set savehist=80
Please suggest what could be the problem here. Thanks in advance.
% history clean
history: Badly formed number.
% echo $0
/usr/local/bin/tcsh
% uname
SunOS
% grep -e "hist" .tcshrc.user
set history=90
set savehist=80
Please suggest what could be the problem here. Thanks in advance.
The history command does not take arguments like "clean"
you can try
history 7
for example... but it is expecting a number....
hence the usage message.
Have a look at the man page for more info, and have a ply with the options..:
man history
HTH