Files
sea/tcl/plugin/safeplugin
2022-08-18 15:04:28 +02:00

10 lines
194 B
Tcsh
Executable File

#!/bin/tcsh
set scriptdir=$0:h
set plugin=$0:h/$1
set plugindir=$plugin:h
if ($scriptdir == $plugindir) then
$plugin $2 $3 $4 $5 $6 $7 $8 $9
else
echo "not allowed to execute $plugin"
endif