#132: Extend GRASS-command history (at least to 1000) by default
--------------------------+-------------------------------------------------
Reporter: nikos | Owner: [email protected]
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/_______________________________________________
grass-dev mailing list
[email protected]
http://lists.osgeo.org/mailman/listinfo/grass-dev
