Add 'rebuild.sh' to rebuild a docker image

This commit is contained in:
Tom Wiesing 2020-07-07 15:49:55 +02:00
parent 5905847b1c
commit a25c12b0fa
No known key found for this signature in database
GPG key ID: DC1F29F2BC78AB15
6 changed files with 57 additions and 11 deletions

View file

@ -41,7 +41,7 @@ function install_resource_dir() {
for filename in "$from"/*; do
dest="$to/`basename "${filename}"`"
echo "Writing \"$dest\""
cp -r "$filename" "$dest"
cp -rTv "$filename" "$dest"
done
}