fix(gnome-extensions): Fix wget directory prefix
This commit is contained in:
parent
e55915bffd
commit
a1297a2ebd
1 changed files with 1 additions and 1 deletions
|
|
@ -16,7 +16,7 @@ if [[ ${#GETTEXT_DOMAIN[@]} -gt 0 ]]; then
|
|||
VERSION=$(echo "${EXTENSION}" | grep -oP 'v\d+')
|
||||
echo "Installing ${EXTENSION} Gnome extension with version ${VERSION}"
|
||||
# Download archive
|
||||
wget --directory-prefix="${ARCHIVE_DIR}" "${URL}"
|
||||
wget --directory-prefix="${TMP_DIR}" "${URL}"
|
||||
# Extract archive
|
||||
echo "Extracting ZIP archive"
|
||||
unzip "${ARCHIVE_DIR}" -d "${TMP_DIR}" > /dev/null
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue