#!/bin/bash

echo "En vagyok a $0 !"

if [ "$RECONTEXT" != "YES" ]; then
    echo "export NEPTUN=$NEPTUN"  >> $HOME/.profile
fi

