for bash command line editing