2015-08-04 23:58:43 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
2015-09-23 16:54:53 +02:00
|
|
|
source "${TAMARIN_UTIL}"
|
|
|
|
|
|
|
|
function move_output_to_dist {
|
|
|
|
find '../' -maxdepth 1 -name "$1" -type f -print0 | xargs -0r mv -t /dist/
|
|
|
|
}
|
|
|
|
|
2015-08-04 23:58:43 +02:00
|
|
|
# Create new directory
|
|
|
|
mkdir -p /dist
|
|
|
|
|
|
|
|
# Move generated files
|
2015-09-23 16:54:53 +02:00
|
|
|
move_output_to_dist "*.deb"
|
|
|
|
move_output_to_dist "*.changes"
|
|
|
|
move_output_to_dist "*.dsc"
|
|
|
|
move_output_to_dist "*.tar.{bz2,gz,lzma,xz}"
|
|
|
|
|
2015-09-23 17:42:08 +02:00
|
|
|
# Configure files permissions
|
2015-09-23 16:54:53 +02:00
|
|
|
chown -R ${HOST_UID}:${HOST_GID} /dist
|