2022-05-17 10:24:55 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
if [ -z "$1" ]; then
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
TARGET="$1"
|
|
|
|
|
|
|
|
for i in "$RPM_SOURCE_DIR"/*."$TARGET"; do
|
2024-04-30 16:13:30 +00:00
|
|
|
NEW=${i%."$TARGET"}
|
2023-05-09 05:36:29 +00:00
|
|
|
cp "$i" "$(basename "$NEW")"
|
2022-05-17 10:24:55 +00:00
|
|
|
done
|