dot.profile
/bin/shの起動時に,初期化するために呼ばれるスクリプト.
#!/bin/sh chsh() { search_dir='/bin /usr/bin /usr/local/bin' search_shell='zsh tcsh bash' for shell in $search_shell; do for dir in $search_dir; do path=$dir/$shell if [ -x $path ]; then SHELL=$path echo $SHELL exec $SHELL fi done done } chsh os_rev=`uname` source ${HOME}/lib/conf/shell/sh/alias.sh source ${HOME}/lib/conf/shell/sh/env.sh source ${HOME}/lib/conf/shell/sh/misc.sh os_rev=
シェルの変更
私はzshを使う人なので,zshがあればexec zshしてシェルを変更する.では,どうせシェルを変えるのならば,何故chshして予めzshを使うよう指定しないのか.これは,マシンに新規にOSをインストールする際に,通常はzshがデフォルトで入らないことによる.このため,あらゆるディストリビューションに必ず入っている/bin/shをデフォルトで使用し,もしzshがインストールされていればこれに乗り換える,という策を講じている.