history -w history -r /$GISDBASE/$LOCATION/$MAPSET/.bash_history HISTFILE=/$GISDBASE/$LOCATION/$MAPSET/.bash_history
Last changed: $Date$