Embedded/pikapython
1
0
Fork 0
mirror of https://gitee.com/Lyon1998/pikapython.git synced 2025-01-15 17:02:53 +08:00
Code Issues Packages Projects Releases Wiki Activity

add more info for pkg-push.sh and push-core.sh

Browse Source
This commit is contained in:
pikastech 2022-07-20 21:45:22 +08:00
parent b6b09ead5c
commit 214ffa9254
2 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
port/linux/pkg-push.sh
View File

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

8
port/linux/push-core.sh
View File

@ -1,3 +1,7 @@
FLAG_OK="\033[32m[ OK ]\033[0m"
FLAG_INFO="\033[32m[Info]\033[0m"
FLAG_NOTE="\033[35m[Note]\033[0m"
cp package/pikascript/pikascript-core/* ../../src -r cp package/pikascript/pikascript-core/* ../../src -r
cp package/pikascript/PikaObj.pyi ../../src cp package/pikascript/PikaObj.pyi ../../src
git add test/python/*.py git add test/python/*.py
@ -5,3 +9,7 @@ sh std_push.sh PikaStdLib
sh std_push.sh PikaStdData sh std_push.sh PikaStdData
sh std_push.sh PikaDebug sh std_push.sh PikaDebug
sh std_push.sh PikaStdTask sh std_push.sh PikaStdTask
echo -e "$FLAG_OK Push \033[32mpikascript-core\033[0m to ../../src successfully!"
echo -e "$FLAG_OK Push \033[32mPikaSdLib\033[0m to ../../package/PikaStdLib successfully!"
echo -e "$FLAG_NOTE Now, you can run 'git commit -a' to commit changes."
echo -e "$FLAG_NOTE Then, you can run 'git push' to push to github/gitee."