#!/usr/bin/csh echo "PRE argv 1 = $argv[1]"; exit 0
#!/usr/bin/csh
echo "PRE argv 1 = $argv[1]"; exit 0
Is that the correct location for csh? On my computer, it's in /bin/csh.
-alain