if echo "$PATH" | grep -vq "video"; then PATH=$HOME/lib/video:$PATH else echo "video config has already been installed" fi