diff options
| author | Jorge Manuel B. S. Vicetto (jmbsvicetto) <jmbsvicetto@gentoo.org> | 2008-10-06 00:28:11 +0000 |
|---|---|---|
| committer | Jorge Manuel B. S. Vicetto (jmbsvicetto) <jmbsvicetto@gentoo.org> | 2008-10-06 00:28:11 +0000 |
| commit | a3b3f47c4f18b35d43529800b3cdb963eea5c571 (patch) | |
| tree | 1443dafa701a960e18e8e61614960363423c390d | |
| parent | bc61ecc53f117b1b408ebb2ca5c9ffdfd9138698 (diff) | |
| download | kde-a3b3f47c4f18b35d43529800b3cdb963eea5c571.tar.gz kde-a3b3f47c4f18b35d43529800b3cdb963eea5c571.tar.bz2 kde-a3b3f47c4f18b35d43529800b3cdb963eea5c571.zip | |
Add a warning if repository doesn't exist
| -rwxr-xr-x | Documentation/change_slot | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Documentation/change_slot b/Documentation/change_slot index 02514c9030f..9dc4545bed9 100755 --- a/Documentation/change_slot +++ b/Documentation/change_slot @@ -47,6 +47,11 @@ run_vdb() { packages=$(find "${category}" -mindepth 1 -maxdepth 1 -type d) for package in ${packages[@]}; do + # If the package has no repository, warn the user + if [[ ! -e "${package}/repository" ]]; then + echo "Warning: $(basename ${package}) was installed from a repo without repo_name" + continue + fi # If package was installed from the repo name=$(cat ${package}/repository) if [[ "${name}" == "${REPO}" ]]; then |