#!/bin/bash
#
# This script sets up environment for development
# $Id: devenv.bash 622 2014-05-29 16:47:05Z toni $
#
pp="$(realpath "$(dirname "$0")"/../src)"

echo "#"
echo "# PYTHONPATH=\"$pp\""
echo "#"

env PYTHONPATH="$pp" bash --rcfile <(cat <<EOF
[[ -f /etc/bash.bashrc ]] && source /etc/bash.bashrc
[[ -f ~/.bashrc ]] && source ~/.bashrc
PS1="[RLV]\\u@\\h:\\w\\$ "
EOF
)

