######################################################################
# This implements a local history. If we are in a directory containing
# a writable local history file, we add the last line of the global
######################################################################
# This implements a local history. If we are in a directory containing
# a writable local history file, we add the last line of the global