Gri Commands
|
12.20: The `
|
`insert \filename' |
Insert instructions in named file into current file. This is useful as
a way of sharing global information between several Gri programs. On
unix systems, if a full filename is specified (i.e., a filename
beginning with slash or period), then that particular file will be used.
For filenames beginning with a letter or number, though, Gri will search
for the file in the list of directories stored in your `GRIINPUTS
'
unix environment variable, or in the list (`.',
`/usr/local/lib/gri') if that environment variable is not set.