From 81ac7bffa015f2007c266cd350cdafcbf1655b0b Mon Sep 17 00:00:00 2001 From: Michael Cardell Widerkrantz Date: Fri, 31 Jan 2025 15:47:27 +0100 Subject: [PATCH] podman/docker: Run bash as login shell To get bash to source /etc/profile and get the goodness of /etc/profile/bash_completion.sh, run bash as a login shell. --- contrib/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/contrib/Makefile b/contrib/Makefile index 202f671..ec8a0ca 100644 --- a/contrib/Makefile +++ b/contrib/Makefile @@ -23,11 +23,11 @@ all: run: podman run --rm --mount type=bind,source="`pwd`/../",target=/build -w /build -it \ - $(IMAGE) /usr/bin/bash + $(IMAGE) /usr/bin/bash -l docker-run: docker run --rm --mount type=bind,source="`pwd`/../",target=/build -w /build -it \ - $(IMAGE) /usr/bin/bash + $(IMAGE) /usr/bin/bash -l run-make: podman run --rm --mount type=bind,source="`pwd`/../hw/application_fpga",target=/build -w /build -it \