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 |