#!/bin/bash

FILE=$1

if [ ! -r "${FILE}.ppl" ]
then
	printf "\nerror: cannot read ${FILE}.ppl, edit failed!\n\n"
	exit 1
fi

open -a textedit ${FILE}.ppl

