Trusted Extensions User's Guide

Exit Print View

Updated: July 2014
 
 

.copy_files File

The .copy_files file stores file names to be copied when you first change to a workspace with a higher label. This file is stored in your home directory at your minimum label. This file is useful when you have an application that always writes to a file in your home directory with a specific name. The .copy_files file enables you to specify that the application update the file at every label.