#!/bin/bash
pushd "/usr/share/PINCE" || exit
sh PINCE.sh "$@"
popd || exit
