#!/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"