diff options
Diffstat (limited to 'etc/ids.config')
-rw-r--r-- | etc/ids.config | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/ids.config b/etc/ids.config index 6c1aa543b..1217d4a3a 100644 --- a/etc/ids.config +++ b/etc/ids.config | |||
@@ -58,6 +58,7 @@ ${HOME}/.zshenv | |||
58 | ${HOME}/.zshprofile | 58 | ${HOME}/.zshprofile |
59 | ${HOME}/.zshrc | 59 | ${HOME}/.zshrc |
60 | 60 | ||
61 | # Note: This list should be kept in sync with the one in inc/disable-shell.inc. | ||
61 | ### shells global ### | 62 | ### shells global ### |
62 | # all | 63 | # all |
63 | /etc/dircolors | 64 | /etc/dircolors |
@@ -68,8 +69,8 @@ ${HOME}/.zshrc | |||
68 | /etc/skel | 69 | /etc/skel |
69 | # bash | 70 | # bash |
70 | /etc/bash | 71 | /etc/bash |
71 | /etc/bash_completion* | ||
72 | /etc/bash.bashrc | 72 | /etc/bash.bashrc |
73 | /etc/bash_completion* | ||
73 | /etc/bashrc | 74 | /etc/bashrc |
74 | # fish | 75 | # fish |
75 | /etc/fish | 76 | /etc/fish |