Issue #70 proposed having a command to include a list of files to be highlighted. Issue #71 proposed adding a command to temporarily switch config files.
In the comments to those issues it was observed that a new command could be implemented that allowed a file of commands, including file names, to be inserted into the command line at the position of the new command.
This issue has been created to take this proposal further, and to merge issues #70 and #71, with those issues to be closed as duplicates of this one.
Issue #70 proposed having a command to include a list of files to be highlighted. Issue #71 proposed adding a command to temporarily switch config files.
In the comments to those issues it was observed that a new command could be implemented that allowed a file of commands, including file names, to be inserted into the command line at the position of the new command.
This issue has been created to take this proposal further, and to merge issues #70 and #71, with those issues to be closed as duplicates of this one.