diff --git a/shell.te b/shell.te
index e0c318fc1ea92d61618a8a8bc18b19171b5ecc80..90b12d87b6fde82d713cc3d801aa5aa1ce95166c 100644
--- a/shell.te
+++ b/shell.te
@@ -52,6 +52,7 @@ allow shell tty_device:chr_file rw_file_perms;
 allow shell console_device:chr_file rw_file_perms;
 allow shell input_device:dir r_dir_perms;
 allow shell input_device:chr_file rw_file_perms;
+r_dir_file(shell, system_file)
 allow shell system_file:file x_file_perms;
 allow shell toolbox_exec:file rx_file_perms;
 allow shell shell_exec:file rx_file_perms;