Questions about: bashrc

To change it for the current terminal instance onlyJust enter PS1='\u:\W\$ ' and press enter. To change it "permanently"In your ~/. bashrc, find the following section: if [ "$color_prompt" = yes ]; then PS1='${debian_chroot:+($debian_chroot)}\[\033[0
I have searched, but not found anything on this. I am looking for a functionality in bash, using a terminal. Way back when, I had a user on a debian system, and a friend set me up with a convenient history search feature (I believe I used tcsh then),