Manage your configuration files with the dscontrol file command.
>>-dscontrol--file--+-appendload--file[.ext]------+------------>< +-delete--file[.ext]----------+ +-newload--file[.ext]---------+ +-report----------------------+ '-save--file[.ext]--+-------+-' '-force-'
A configuration file consisting of dscontrol commands. The file extension (.ext) can be anything you like and can be omitted.
To save your file to an existing file of the same name, use force to delete the existing file before saving the new file. If you do not use the force option, the existing file is not overwritten.
dscontrol file delete file3
dscontrol file newload file1.sv
dscontrol file appendload file2.sv
dscontrol file report
dscontrol file save file3