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がインストールされていればこれに乗り換える,という策を講じている.