next up previous contents
Next: Debugging core dumps Up: Debugging tools Previous: Listing a source file   Contents

Editing a source file

The command edit source_file allows the editing of source_file. It invokes the vi editor for editing the source file.


Sushil Prasad 2004-09-16