#!/bin/bash
# exports a path only, if $PATH does not already contains the path.
NEWPATH="$1"
echo ":$PATH:" | grep -q ":$NEWPATH:" || export PATH="$PATH:$NEWPATH"