Register/unregister code in scripts (for bash, csh, emacs, etc.)

Author(s): Jose F. Morales, The Ciao Development Team.

Usage and interface

Documentation on exports

Usage:register_in_script(File,CommentMark,Code)

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.

    Documentation on imports

    This module has the following direct dependencies: