up previous next

TraceSources

If the TraceSources option is on, then the name of every file read with the Source command will be echoed.