diff options
| author | Robby Russell <robby@planetargon.com> | 2012-12-02 11:43:30 -0800 |
|---|---|---|
| committer | Robby Russell <robby@planetargon.com> | 2012-12-02 11:43:30 -0800 |
| commit | 80ab595696f30d89bf52bb5189fa39518a3ca780 (patch) | |
| tree | a3b672012702505ad1096db2211a985ae0ed23ad /plugins/command-not-found | |
| parent | 77e4c1c9f11a7630f044bbb02fdeeeb206a5ab8e (diff) | |
| parent | e8a7a31ef66093f1b1ab034e84e01a147fa8b28a (diff) | |
| download | zsh-80ab595696f30d89bf52bb5189fa39518a3ca780.tar.gz zsh-80ab595696f30d89bf52bb5189fa39518a3ca780.tar.bz2 zsh-80ab595696f30d89bf52bb5189fa39518a3ca780.zip | |
Merge pull request #256 from lorrin/no-op_command-not-found
Make command-not-found no-op when support not available (e.g. not on Ubuntu)
Diffstat (limited to 'plugins/command-not-found')
| -rw-r--r-- | plugins/command-not-found/command-not-found.plugin.zsh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/command-not-found/command-not-found.plugin.zsh b/plugins/command-not-found/command-not-found.plugin.zsh index 5ab03d5a9..567da1b45 100644 --- a/plugins/command-not-found/command-not-found.plugin.zsh +++ b/plugins/command-not-found/command-not-found.plugin.zsh @@ -2,4 +2,4 @@ # as seen in http://www.porcheron.info/command-not-found-for-zsh/ # this is installed in Ubuntu -source /etc/zsh_command_not_found +[[ -e /etc/zsh_command_not_found ]] && source /etc/zsh_command_not_found |