leafee98/makedeb
1
1
Fork 0
Code Issues Pull requests Packages Projects 1 Releases Wiki Activity

typo: retrive, fix err use a second level log mark

Browse source
This commit is contained in:
leafee98 2023-08-11 21:48:46 +08:00
parent dec5faa54b
commit 3500ce0058
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
makedeb
View file

@ -53,7 +53,7 @@ function msg2 {
function err { function err {
(( QUIET )) && return 0 (( QUIET )) && return 0
local mesg=$1; shift local mesg=$1; shift
printf "${RED} ->${ALL_OFF}${BOLD}${RED} ${mesg}${ALL_OFF}\n" "$@" >&2 printf "${RED}==>${ALL_OFF}${BOLD}${RED} ${mesg}${ALL_OFF}\n" "$@" >&2
} }
function get_full_version { function get_full_version {
@ -158,7 +158,7 @@ function url_fragment {
# $1 is relative path to file # $1 is relative path to file
# $2 is url/(relative path to materials) # $2 is url/(relative path to materials)
function retrive_source_single { function retrieve_source_single {
local file_name="$1" local file_name="$1"
local url="$2" local url="$2"
@ -178,7 +178,7 @@ function retrive_source_single {
if (( ! OVERRIDE_SOURCE )) && [[ -f "${workspace}/${file_name}" ]] ; then if (( ! OVERRIDE_SOURCE )) && [[ -f "${workspace}/${file_name}" ]] ; then
msg2 "${file_name} already exists, skip download" msg2 "${file_name} already exists, skip download"
else else
msg2 "retriving ${file_name} from ${url} with curl..." msg2 "retrieving ${file_name} from ${url} with curl..."
curl --location "${url}" --output "${workspace}/${file_name}" curl --location "${url}" --output "${workspace}/${file_name}"
fi fi
;; ;;
@ -192,7 +192,7 @@ function retrive_source_single {
fi fi
;; ;;
*) *)
err "retriving url as type ${url_type} not supported" err "retrieving url as type ${url_type} not supported"
err "Aborting..." err "Aborting..."
exit 1 exit 1
esac esac
@ -335,7 +335,7 @@ function retrieve_source {
file_name="${s%%::*}" file_name="${s%%::*}"
url="${s##*::}" url="${s##*::}"
retrive_source_single "${file_name}" "${url}" retrieve_source_single "${file_name}" "${url}"
done done
} }