ESC=$(echo "\033")
CR=$(echo "\015")
+export WIZARD="Wizard"
+
view_name=
# Function to set the title bar. Works on the terminal emulators listed.
# view and a string to indicate that you are root.
function set_title {
if [ $($id -u) -eq 0 ]; then
- root="Wizard "
+ root="$WIZARD "
else
root=
fi
"$TERM" = "xtermc" -o \
"$TERM" = "xterm-256color" -o \
"$TERM" = "vt220" ]; then
- ROOT="\[${ROOT_COLOR}\]Wizard\[$NORMAL\] "
+ ROOT="\[${ROOT_COLOR}\]$WIZARD\[$NORMAL\] "
else
- ROOT="Wizard "
+ ROOT="$WIZARD "
fi
else
ROOT=""
ps $psopts | $PAGER
else
for str; do
- ps $psopts | grep "$str" | grep -v "grep $str" | grep -v "grep -d skip"
+ ps $psopts | grep "$str" | grep -ve "grep $str" -e "grep -d skip" -e "grep --color=auto"
done
fi
} # sj