Use standard tcl convention to #! exec tclsh

[steffen@…]

port.tcl, portall.tcl and portindex.tcl start with

#!!@TCLSH@

to exec tclsh, the standard tcl convention is to use the following instead

#!/bin/sh #\ exec @TCLSH@ "$0" "$@"

which has the advantages of seting up the shell environment, and working correctly if @TCLSH@ is itself a shell script (a fairly common configuration). The fix is trivial, patch attached.

[steffen@…]

patch implementing standard tcl #! exec convention to start tclsh

[olegb@…]

commited thanks.