From 2a2aead69cbaef73ef5e8932ce2f23e8530e63bf Mon Sep 17 00:00:00 2001 From: Alan Orth Date: Sun, 18 May 2014 13:05:35 +0300 Subject: [PATCH] .bashrc: Fix setting of term title Signed-off-by: Alan Orth --- .bashrc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.bashrc b/.bashrc index 841fd46..bf2c8d2 100644 --- a/.bashrc +++ b/.bashrc @@ -14,7 +14,7 @@ PS1='[\u@\h: \w]\$ ' export EDITOR=/usr/bin/vim export PAGER=/usr/bin/less # sequence to set the terminal title to "user@hostname: pwd" -#TITLEBAR='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"' +TITLEBAR='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"' # ignore commands starting with space and duplicates HISTCONTROL=ignoreboth # ignore common commands in bash history