Is it possible to retrive in one file bash's history commands?

Question

I have a lot a commands that I want to run again, but there are a lot of them, and going up to them with the up arrow key is too long. Is it possible to get it in a cat/tail command and pipe it to a file ?

Answer 1

You can use the history command:

history > my_file

Answer 2

Type Ctrl-R and then type the first few letters of the command.

Answer 3

Adding this to ~/.inputrc would make the up and down arrows cycle through commands that match the start of the line:

"\e[A": history-search-backward
"\e[B": history-search-forward

I also use these functions a lot:

h() {
    if [ $# = 0 ]; then
        history 33 | sed '$d'
    else
        history | grep -iEF "$*" | grep -v '^ *[0-9]* *h '
    fi
}

r() {
    history ${1-200} | sed 's/^ *[0-9]* *//' | tail -r > /tmp/recent
    open /tmp/recent -e
}

If you add " ": magic-space to .inputrc, you can insert command 1234 by typing !1234 and a space. But it also makes space stop work in irb and the interactive mode in gnuplot.