#!/bin/bash
#
# This script sets up environment for development
# $Id: devenv.bash 618 2014-05-24 00:17:26Z toni $
#
pp="$(realpath "$(dirname "$0")"/../src)"

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

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

