Skip to content
Snippets Groups Projects
Commit 71481c5c authored by Nicolas Pomepuy's avatar Nicolas Pomepuy
Browse files

Add the file path to the publish to maven script

parent 7a642028
No related branches found
No related tags found
1 merge request!969Add the file path to the publish to maven script
Pipeline #93221 passed with stage
in 18 minutes and 51 seconds
......@@ -26,7 +26,7 @@ Copy the file to this directory (`buildsystem/maven`)
You just have to plug your yubikey and run the script
`./deploy-to-mavencentral.sh`
`./deploy-to-mavencentral.sh [FILE_PATH]`
The script will do the following actions:
......
......@@ -28,6 +28,14 @@ function red() {
echo -e "\033[1;31m===================\n$1\n===================\033[0m"
}
if [ $# -eq 0 ]
then
red "The file path has not been specified."
exit 1
fi
FILE=$1
#START
rm -rf $OUTPUT_DIR
......@@ -35,11 +43,11 @@ mkdir -p $OUTPUT_DIR
blue "File management"
#check files
if test -f "dbg.zip"; then
if test -f "$FILE"; then
blue "File exists. Unzipping"
unzip "dbg.zip" -d $OUTPUT_DIR
unzip "$FILE" -d $OUTPUT_DIR
else
red "Cannot find the dbg.zip file."
red "Cannot find the $FILE file."
exit 1
fi
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment