Re: shell history and page-up

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
From: Alexander Hall
Date: Thursday, April 2, 2009 - 10:45 am

Chris wrote:

$ grep HIST .profile

HISTFILE=$HOME/.history
HISTSIZE=1024

works. Arrow-up though, not page-up.

/Alexander
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
shell history and page-up, Chris, (Wed Apr 1, 9:37 pm)
Re: shell history and page-up, Nick Guenther, (Wed Apr 1, 9:46 pm)
Re: shell history and page-up, Chris, (Wed Apr 1, 9:52 pm)
Re: shell history and page-up, Nick Guenther, (Wed Apr 1, 9:55 pm)
Re: shell history and page-up, Chris, (Wed Apr 1, 9:58 pm)
Re: shell history and page-up, Nick Guenther, (Wed Apr 1, 10:00 pm)
Re: shell history and page-up, Vadim Zhukov, (Wed Apr 1, 10:48 pm)
Re: shell history and page-up, Alexander Hall, (Thu Apr 2, 10:45 am)
Re: shell history and page-up, Chris, (Sun Apr 5, 9:55 pm)
Re: shell history and page-up, J.C. Roberts, (Mon Apr 6, 1:13 am)
Re: shell history and page-up, Chris, (Mon Apr 6, 4:54 pm)
Re: shell history and page-up, Nick Guenther, (Mon Apr 6, 5:04 pm)
Re: shell history and page-up, Chris, (Mon Apr 6, 5:10 pm)
Re: shell history and page-up, Nick Guenther, (Mon Apr 6, 5:18 pm)