From 5e93de2ec268cd43606944337d57d69d2216b7cb Mon Sep 17 00:00:00 2001
From: Alexandre Pujol <alexandre@pujol.io>
Date: Sun, 10 Dec 2023 13:23:11 +0000
Subject: [PATCH] build: add support for whonix in docker script.

---
 dists/docker.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/dists/docker.sh b/dists/docker.sh
index 3b523d945..6a6277799 100644
--- a/dists/docker.sh
+++ b/dists/docker.sh
@@ -66,9 +66,10 @@ build_in_docker_makepkg() {
 }
 
 build_in_docker_dpkg() {
-	local dist="$1"
+	local dist="$1" target="$1"
 	local img="$PREFIX$dist"
 
+	[[ "$dist" == whonix ]] && dist=debian
 	if _exist "$img"; then
 		if ! _is_running "$img"; then
 			_start "$img"
@@ -76,7 +77,7 @@ build_in_docker_dpkg() {
 	else
 		docker pull "$BASEIMAGE/$dist"
 		docker run -tid --name "$img" --volume "$VOLUME:$BUILDIR" \
-			--env DEBIAN_FRONTEND=noninteractive --env DISTRIBUTION="$dist" \
+			--env DEBIAN_FRONTEND=noninteractive --env DISTRIBUTION="$target" \
 			"$BASEIMAGE/$dist"
 		docker exec "$img" sudo apt-get update -q
 		docker exec "$img" sudo apt-get install -y config-package-dev rsync