[GRASS-dev] Re: [GRASS GIS] #132: Extend GRASS-command history (at least to 1000) by default

GRASS GIS trac at osgeo.org
Fri Apr 18 17:02:52 EDT 2008


#132: Extend GRASS-command history (at least to 1000) by default
--------------------------+-------------------------------------------------
  Reporter:  nikos        |       Owner:  grass-dev at lists.osgeo.org
      Type:  enhancement  |      Status:  new                      
  Priority:  major        |   Milestone:  6.4.0                    
 Component:  default      |     Version:  unspecified              
Resolution:               |    Keywords:                           
--------------------------+-------------------------------------------------
Comment (by neteler):

 I fully agree, it is too small (but was recently enlarged to 3000 for
 bash), esp. for csh:

 {{{
 grep -in hist lib/init/init.sh
 888:    echo "set history = 500 savehist = 500  noclobber ignoreeof" >>
 "$cshrc"
 889:    echo "set histfile = $HOME/.history" >> "$cshrc"
 927:    # save command history in mapset dir and remember more
 928:    export HISTFILE="$LOCATION/.bash_history"
 929:    if [ -z "$HISTSIZE" ] && [ -z "$HISTFILESIZE" ] ; then
 930:    export HISTSIZE=3000
 }}}

 History size should at least be identical for all shells.

 Markus

-- 
Ticket URL: <http://trac.osgeo.org/grass/ticket/132#comment:1>
GRASS GIS <http://grass.osgeo.org>
GRASS Geographic Information System (GRASS GIS) - http://grass.osgeo.org/


More information about the grass-dev mailing list