#!/bin/bash
cd /usr/share/tipp10
./tipp10 "$@"
