|Did you know ...||Search Documentation:|
|edit.pl -- Editor interface|
This module implements the generic editor interface. It consists of two extensible parts with little in between. The first part deals with translating the input into source-location, and the second with starting an editor.
% swipl [-s] file.pl
|%e||Path name of the editor|
|%f||Path name of the file to be edited|
|%d||Line number of the target|