#! /usr/bin/zsh -f

# save
# oldpath=($path)
under_zsh(){
  [ ! -z $ZSH_VERSION ]
 #[ "$SHELL" = "/bin/zsh" ]
}

if test -n "${BASH_SOURCE-}"; then
    dir=$(dirname ${BASH_SOURCE[0]})
else
    echo "detected zsh">&2
    dir=$(dirname $0)
fi

# echo $path
source $dir/shell-tools
source $dir/media

# echo $PATH
source $dir/x
source $dir/tex
source $dir/emacs

#not for users?
source $dir/build
source $dir/devel

function running_debian()
{
   [[ -d /etc/apt ]]
}

if  running_debian;
then
    source $dir/debian
fi

source $dir/maruska
source $dir/web

# if michal:
source $dir/old-tasks

# path=($oldpath)

source $dir/work
