From 60ba123bef0b470e5e4ecd1e408c03041eebb43a Mon Sep 17 00:00:00 2001 From: 10sr <8slashes+git@gmail.com> Date: Sun, 1 Sep 2013 13:58:26 +0900 Subject: [PATCH] fix indent --- bashrc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bashrc b/bashrc index 9baca0f..b1ac3bd 100755 --- a/bashrc +++ b/bashrc @@ -914,6 +914,6 @@ __my_set_title(){ echo -n -e "\033]0;${title}\007" ;; esac - } - PROMPT_COMMAND="__my_set_title \${USER}@\${HOSTNAME}\:\${PWD}; +} +PROMPT_COMMAND="__my_set_title \${USER}@\${HOSTNAME}\:\${PWD}; __my_set_screen_title \$(basename \"\$PWD\")/"