bashrc: use gvim -v to launch vim in the terminal