2022-07-20 21:45:22 +08:00
|
|
|
FLAG_OK="\033[32m[ OK ]\033[0m"
|
|
|
|
|
FLAG_INFO="\033[32m[Info]\033[0m"
|
|
|
|
|
FLAG_NOTE="\033[35m[Note]\033[0m"
|
|
|
|
|
|
2022-05-19 20:52:19 +08:00
|
|
|
cp package/pikascript/pikascript-core/* ../../src -r
|
2022-04-28 15:53:09 +08:00
|
|
|
cp package/pikascript/PikaObj.pyi ../../src
|
2022-05-02 21:35:38 +08:00
|
|
|
git add test/python/*.py
|
2022-04-13 13:24:39 +08:00
|
|
|
sh std_push.sh PikaStdLib
|
|
|
|
|
sh std_push.sh PikaStdData
|
|
|
|
|
sh std_push.sh PikaDebug
|
|
|
|
|
sh std_push.sh PikaStdTask
|
2022-07-20 21:45:22 +08:00
|
|
|
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."
|
