set basename [ on | 1 ]
¶When set on, source filenames are shown as the shorter “basename” only. (Directory paths are omitted). This is useful in running the regression tests and may useful in showing debugger examples as in this text. You may also just want less verbose filename display.
set basename [ off | 0 ]
Source filenames are shown as with their full path. This is the default.