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

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

env PYTHONPATH="$pp" bash --rcfile <(echo . ~/.bashrc ; echo PS1='"[RLV]\\u@\\h:\\w\\$ "')

