#!/bin/bash
# ================================================================
# Shell mit gesetzten Umgebungsvariablen oeffnen
# ================================================================

source "$(dirname "${BASH_SOURCE[0]}")/setenv.sh"
exec "$SHELL"