From Debian package 0.2.20100524-5 * Label /usr/bin/tcsh as shell_exec_t Index: policy/modules/kernel/corecommands.fc =================================================================== --- policy/modules/kernel/corecommands.fc.orig +++ policy/modules/kernel/corecommands.fc @@ -184,6 +184,7 @@ /usr/(.*/)?Bin(/.*)? gen_context(system_u:object_r:bin_t,s0) /usr/(.*/)?bin(/.*)? gen_context(system_u:object_r:bin_t,s0) /usr/bin/git-shell -- gen_context(system_u:object_r:shell_exec_t,s0) +/usr/bin/tcsh -- gen_context(system_u:object_r:shell_exec_t,s0) /usr/bin/fish -- gen_context(system_u:object_r:shell_exec_t,s0) /usr/bin/scponly -- gen_context(system_u:object_r:shell_exec_t,s0)