#!/bin/sh

# preserver bashrc 
mv ~/.bashrc ~/.bashrc-not-cia 

# create new bashrc
echo "alias ls='ls -F'" > ~/.bashrc
echo "MANPATH=$MANPATH:/opt/ciao/man" >> ~/.bashrc


CIAOROOT=/opt/ciao/
PATH=$CIAOROOT/bin:$CIAOROOT/etc/cia/bin:$PATH
SHELL=$CIAOROOT/bin/ksh
CIAOTYPE=cc
LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$CIAOROOT/lib
export CIAOROOT PATH SHELL CIAOTYPE
$SHELL

#restore bashrc on exit
mv ~/.bashrc-not-cia ~/.bashrc