.copy_files ファイル

.copy_files ファイルにファイル名が格納されていると、より高いラベルを持つワークスペースにはじめて移動するときに、そのファイルがコピーされます。このファイルは、ユーザーの最下位ラベルで、ホームディレクトリに格納されます。このファイルは、常に特定の名前でホームディレクトリ内のファイルに書き込みを行うアプリケーションがある場合に便利です。.copy_files ファイルを使用すると、アプリケーションで該当のファイルをあらゆるラベルで更新できるように指定できます。