From bb700f5ac06a12017f519ea4bf07ae6a463b8b4d Mon Sep 17 00:00:00 2001 From: Florian Schmaus Date: Sun, 11 Feb 2024 11:33:12 +0100 Subject: populate-distdir: add quotes Signed-off-by: Florian Schmaus --- populate-distdir | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/populate-distdir b/populate-distdir index 6baaed9..b63abfa 100755 --- a/populate-distdir +++ b/populate-distdir @@ -3,8 +3,8 @@ set -euo pipefail SCRIPT_DIR=$(cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd) -: ${TEX_OVERLAY_PATH:=$(portageq get_repo_path / tex-overlay)} -: ${DISTDIR:="${SCRIPT_DIR}/distdir"} +: "${TEX_OVERLAY_PATH:=$(portageq get_repo_path / tex-overlay)}" +: "${DISTDIR:="${SCRIPT_DIR}/distdir"}" if [[ ! -d "${DISTDIR}" ]]; then mkdir "${DISTDIR}" -- cgit v1.2.3-65-gdbad