shell: print bash history without number