diff options
| author | Chirayu Desai <cdesai@cyanogenmod.org> | 2013-04-30 10:33:11 +0530 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@cyanogenmod.org> | 2013-05-05 21:37:17 -0700 |
| commit | 58bc76bb6569be3c20a742389f81b4e03b4506f8 (patch) | |
| tree | 0264e8fdb55cb0d2165a424d387eb769e4595f40 | |
| parent | 0c7371efa8d70a533e5f7c306a7260003d7e3a0e (diff) | |
| download | vendor_replicant-58bc76bb6569be3c20a742389f81b4e03b4506f8.zip vendor_replicant-58bc76bb6569be3c20a742389f81b4e03b4506f8.tar.gz vendor_replicant-58bc76bb6569be3c20a742389f81b4e03b4506f8.tar.bz2 | |
repo bash completion: _find_repo: improve check
Checking if main.py exists is better than checking if it
is a file, since it might be a symlink.
Change-Id: I1a9e617470a05c2161479cd3f0a10712a2b9d2c2
| -rw-r--r-- | bash_completion/repo.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bash_completion/repo.bash b/bash_completion/repo.bash index 3b1d510..1c4a2a8 100644 --- a/bash_completion/repo.bash +++ b/bash_completion/repo.bash @@ -46,7 +46,7 @@ _find_repo() { while [ "${dir}" != / ] do - if [ -f "${dir}/.repo/repo/main.py" ] + if [ -e "${dir}/.repo/repo/main.py" ] then found=0 break |