Merge pull request #437 from maqeel75/main

Rename .ddeb extension to .deb
pull/438/head
Muhammad Aqeel 2024-03-05 18:03:16 +05:00 committed by GitHub
commit 7ea569e6bc
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 14 additions and 0 deletions

View File

@ -436,6 +436,19 @@ build_source_deb(){
cp *.orig.tar.gz $CURDIR/source_deb cp *.orig.tar.gz $CURDIR/source_deb
} }
change_ddeb_package_to_deb(){
directory=$1
for file in "$directory"/*.ddeb; do
if [ -e "$file" ]; then
# Change extension to .deb
mv "$file" "${file%.ddeb}.deb"
echo "Changed extension of $file to ${file%.ddeb}.deb"
fi
done
}
build_deb(){ build_deb(){
if [ $DEB = 0 ] if [ $DEB = 0 ]
then then
@ -473,6 +486,7 @@ build_deb(){
mkdir -p $WORKDIR/deb mkdir -p $WORKDIR/deb
cp $WORKDIR/*.*deb $WORKDIR/deb cp $WORKDIR/*.*deb $WORKDIR/deb
cp $WORKDIR/*.*deb $CURDIR/deb cp $WORKDIR/*.*deb $CURDIR/deb
change_ddeb_package_to_deb "$CURDIR/deb"
} }
CURDIR=$(pwd) CURDIR=$(pwd)