pikascript/port/linux/pkg-push.sh

#!/bin/sh
FLAG_OK="\033[32m[ OK ]\033[0m"
FLAG_INFO="\033[32m[Info]\033[0m"
FLAG_NOTE="\033[35m[Note]\033[0m"
FLAG_ERROR="\033[31m[Error]\033[0m"

if [ $# != 1 ] ; then
echo "USAGE: $0 [pkg name]"
echo " e.g.: $0 ctypes"
exit 1;
fi

pkg=$1

# Check if the package exists
if [ ! -d package/pikascript/pikascript-lib/$pkg ] ; then
echo "$FLAG_ERROR Package $pkg does not exist"
exit 1;
fi

rm ../../package/$pkg -rf
cp package/pikascript/pikascript-lib/$pkg ../../package/ -r
git add package/pikascript/pikascript-lib/$pkg

# check if $pkg.pyi is exit
if [ -f "package/pikascript/$pkg.pyi" ] ; then
echo "$FLAG_INFO python interface files added"
cp package/pikascript/$pkg.pyi ../../package/$pkg/
git add package/pikascript/$pkg.pyi 
echo "$pkg.pyi"
fi

# check if $_pkg.pyi is exit
if [ -f "package/pikascript/_$pkg.pyi" ] ; then
echo "$FLAG_INFO python interface files added"
cp "package/pikascript/_$pkg.pyi" ../../package/$pkg
git add package/pikascript/_$pkg.pyi 
echo "_$pkg.pyi"
fi

# check if $pkg.py is exit
if [ -f "package/pikascript/$pkg.py" ] ; then
echo "$FLAG_INFO python files added"
cp package/pikascript/$pkg.py ../../package/$pkg/
git add package/pikascript/$pkg.py 
echo "$pkg.py"
fi

# check if test/python/$pkg folder is exit
if [ -d "test/python/$pkg" ] ; then
echo "$FLAG_INFO python test files added:"
rm ../../examples/$pkg -rf
mkdir ../../examples/$pkg
cp test/python/$pkg/*.py ../../examples/$pkg -r
git add test/python/$pkg
git add ../../examples/$pkg
ls ../../examples/$pkg
fi

git add ../../package/$pkg
echo "$FLAG_INFO lib files added:"
# list files name in package/pikascript/pikascript-lib/$pkg
ls  package/pikascript/pikascript-lib/$pkg
echo "$FLAG_OK Push \033[32m$pkg\033[0m to ../../package/$pkg successfully!"
echo "$FLAG_NOTE Now, you can run 'git commit -a' to commit changes."
echo "$FLAG_NOTE Then, you can run 'git push' to push to github/gitee."