# HG changeset patch # User Edho Prima Arief # Date 1306036533 14400 # Node ID d6e52e0749625646a58256153b69354b51c2d339 # Parent 4510c8a9d8ec1755c2110458ba397134a55df60e Allow change title in zsh diff -r 4510c8a9d8ec -r d6e52e074962 zsh --- a/zsh Sun May 22 00:45:30 2011 +0700 +++ b/zsh Sat May 21 23:55:33 2011 -0400 @@ -1,5 +1,10 @@ #!/usr/bin/env zsh [ -f "${HOME}/.ecos_zsh.before" ] && . "${HOME}/.ecos_zsh.before" +case $TERM in + xterm*|screen*) + precmd () {print -Pn "\e]0;%n@%m: %~\a"} + ;; +esac PS1='[%n@%m %~]%% ' HISTFILE=~/.histfile HISTSIZE=10000