diff options
Diffstat (limited to 'punani')
| -rwxr-xr-x | punani/bin/punani | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/punani/bin/punani b/punani/bin/punani index 34d5bcbf..954eca43 100755 --- a/punani/bin/punani +++ b/punani/bin/punani @@ -115,7 +115,7 @@ handle_system () { # apt-file () { echo $@; } # apt-get () { echo $@; } #fi - if [ `which apt-file` ]; then + if ! which apt-file; then echo "installing dependencies: apt-file" apt-get install --yes apt-file echo "update the apt-file tool" @@ -133,6 +133,7 @@ handle_system () { fi } punani_Engineer_insert() { + echo "trying to install $1" if apt-get install `apt-file search -l -x /$1\$`;then echo "++ finished" else |