Register/unregister Code in Scripts (for bash, csh, emacs, etc.)

Author(s): Jose F. Morales, CLIP Group.

Usage and interface

Documentation on exports



Inserts Code in the script file File. Code is surrounded by special comments (starting with CommentMark), that allow identifying the inserted code later. If the File contained some inserted code, it is replaced.

    No further documentation available for this predicate.