The Bash shell provides command-line tools for editing and manipulating a user's command history. This is primarily a convenience, a means of saving keystrokes.
Bash history commands:
bash$ history 1 mount /mnt/cdrom 2 cd /mnt/cdrom 3 ls ...
Internal variables associated with Bash history commands:
$HISTTIMEFORMAT (Bash, ver. 3.0 or later)
Unfortunately, the Bash history tools find no use in scripting.
#!/bin/bash # history.sh # A (vain) attempt to use the 'history' command in a script. history # No output. var=$(history); echo "$var" # $var is empty. # History commands disabled within a script.
bash$ ./history.sh (no output)
The Advancing in the Bash Shell site gives a good introduction to the use of history commands in Bash.
Leave a Reply
You must be logged in to post a comment.