Gestire i file di configurazione con il comando dscontrol file.
>>-dscontrol--file--+-appendload--file[.ext]------+------------>< +-delete--file[.ext]----------+ +-newload--file[.ext]---------+ +-report----------------------+ '-save--file[.ext]--+-------+-' '-force-'
Un file di configurazione composto da comandi dscontrol. L'estensione del file (.ext) è a scelta e può essere omessa.
Per salvare il file in un file esistente con nome identico, utilizzare l'opzione force per eliminare il file esistente prima di salvare quello nuovo. Se non si utilizza l'opzione force, il file esistente non verrà sovrascritto.
dscontrol file delete file3
dscontrol file newload file1.sv
dscontrol file appendload file2.sv
dscontrol file report
dscontrol file save file3