jrpie/launcher
1
0
Fork 0
mirror of https://github.com/jrpie/Launcher.git synced 2025-04-19 10:20:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

reenable proguard
Some checks are pending
Android CI / build (push) Waiting to run
Details

Browse source
This commit is contained in:
Josia Pietsch 2025-02-10 21:57:34 +01:00
parent 9c5500aa83
commit 757486771d
Signed by: jrpie
GPG key ID: E70B571D66986A2D
3 changed files with 13 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

9
.scripts/release.sh
View file

@ -9,7 +9,14 @@ KEYSTORE_ACCRESCENT_PASS=$(keepassxc-password "android_keys/launcher-accrescent"
if [[ $(git status --porcelain) ]]; then
echo "There are uncommitted changes."
exit 1
read -p "Continue anyway? (y/n) " -n 1 -r
echo # (optional) move to a new line
if ! [[ $REPLY =~ ^[Yy]$ ]]
then
exit 1
fi
fi
rm -rf "$OUTPUT_DIR"