diff options
| author | Peter Palfrader <peter@palfrader.org> | 2019-04-17 16:59:41 +0200 |
|---|---|---|
| committer | Peter Palfrader <peter@palfrader.org> | 2019-04-17 16:59:41 +0200 |
| commit | 71474ab0dc1cbf8c8206ba7e93494ac20b989338 (patch) | |
| tree | c31b59cd12e04b997a7829ac01487d63167e66f1 | |
| parent | c7a3b3d2ef0b999ca3ffa99ee2f4417536182fa3 (diff) | |
do not cat COMMANDMENTS
| -rw-r--r-- | zshrc | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -384,7 +384,6 @@ init-prompt done ) -[ -f COMMANDMENTS ] && cat COMMANDMENTS [ -e $HOME/.zshrc-local ] && . $HOME/.zshrc-local [ -e $HOME/.pal ] && [ -e /usr/bin/pal ] && pal -r 5-10 |