diff options
author | coadde [Márcio Alexandre Silva Delgado] <coadde@parabola.nu> | 2015-08-26 17:00:39 -0300 |
---|---|---|
committer | coadde [Márcio Alexandre Silva Delgado] <coadde@parabola.nu> | 2015-08-26 17:00:39 -0300 |
commit | 2dd7ba09177bf279d6517329439d7531982de25c (patch) | |
tree | 2b65863d7c93aeffc65d3686895375b24a731714 /extra/coadde | |
parent | cfd73e09fcc97d6fa005a4622f7663a727579606 (diff) |
update db-init and fix POOLS variables
Diffstat (limited to 'extra/coadde')
-rwxr-xr-x | extra/coadde/createrepos | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/extra/coadde/createrepos b/extra/coadde/createrepos deleted file mode 100755 index 4416196..0000000 --- a/extra/coadde/createrepos +++ /dev/null @@ -1,36 +0,0 @@ -#!/bin/bash -# Creates the repo structure defined in config - -source "$(dirname "$(readlink -e "$0")")/config_platforms" -source "$(dirname "$(readlink -e "$0")")/db-functions" - -createrepos-usage() { - msg "Usage: %s [platform1 platform2 ... platformX]" "${0##*/}" - exit 1 -} - -for 'platform' in "${PLATFORMS[@]}"; do - if [ -n $1 ]; then - for '_platform' in "$@"; do - # Rename plataform name ($_platform) to easily script usage - _platform_name="${_platform/\//+}" _platform_name="${_platform_name,,}" - - if [ "${_platform_name}" == "${platform}" ]; then - source "$(dirname "$(readlink -e "$0")")/config_${_platform}" - - mkdir -p -- "${REPO_DIR}"/{"${PKG_POOL}","${SRC_POOL}"} "${CLEANUP_DESTDIR}" "${SOURCE_CLEANUP_DESTDIR}" "${STAGING}" - - "$(dirname "$(readlink -e "$0")")/create-repo" -p "${_platform}" "${PKG_REPOS[@]}" - else - createrepos-usage - fi - done - else - source "$(dirname "$(readlink -e "$0")")/config_${platform}" - - mkdir -p -- "${REPO_DIR}"/{"${PKG_POOL}","${SRC_POOL}"} "${CLEANUP_DESTDIR}" "${SOURCE_CLEANUP_DESTDIR}" "${STAGING}" - - "$(dirname "$(readlink -e "$0")")/create-repo" "${PKG_REPOS[@]}" - ;; - fi -done |