Re: Making tkined save files executables...

Erik Schoenfelder (schoenfr@ibr.cs.tu-bs.de)
Wed, 4 Oct 1995 16:09:51 +0100

Hi!

PdS> If the tkined save files started with

PdS> #!/path/to/tkined

PdS> Then you could simply make them executable applications, and
PdS> run them directly from the shell. Right now tkined sees that
PdS> "#!/..." as indicating that the save file is corrupt. :-(

Well, this works at least with Tkined v1.3.4, if the first line is
replaced by #! magic (and not prepended), because the version number
in the second line is expected to be just there and is checked.

Erik