diff -r 3b9d41e1ab5b -r 40040a3896d7 .fvwm/config
--- a/.fvwm/config	Sat Nov 29 11:31:30 2008 +0200
+++ b/.fvwm/config	Thu Dec 04 22:19:32 2008 +0200
@@ -44,10 +44,14 @@
 + "Peoplenet"     Exec  exec xterm -e /usr/bin/pon
 + VLC             Exec  exec vlc
 + Stardict        Exec  exec stardict
++ xkill           Exec  exec xkill
 
+# Use interactive bash mode to read profile (~/.bashrc) to override default
+# value of PS1.
 AddToMenu Utilities Utilities Title
-+ Xterm           Exec  exec xterm -e bash
-+ Mc              Exec  exec xterm -fn "-misc-fixed-medium-r-*-*-18-*-*-*-*-*-iso10646-1" -geometry 120x42 -e mc -x
++ Xterm           Exec  exec xterm -e bash -i
++ Mc              Exec  exec xterm -fn "-misc-fixed-medium-r-*-*-18-*-*-*-*-*-iso10646-1" \
+                             -geometry 120x42 -e bash -i -c "mc -x"
 + Emacs           Exec  exec emacs
 
 + debian          Popup "/Debian"