diff --git a/workbench/Dockerfile b/workbench/Dockerfile index 0318ea54689119d28e8f2761916bbf24edb59d72..c529abbb99a436e4bc3e5cea95e23eafccc4a5ba 100644 --- a/workbench/Dockerfile +++ b/workbench/Dockerfile @@ -138,11 +138,11 @@ RUN apt-get update && \ task-hebrew \ task-ssh-server \ telnet \ - terraform=1.5.7-1 \ time \ tk-dev \ tmux \ tnftp \ + tofu \ transmission-cli/unstable \ tree \ ttyrec \ @@ -159,6 +159,7 @@ RUN apt-get update && \ xdg-user-dirs \ zip \ && \ + ln -s "$(command -v tofu)" /usr/local/bin/terraform && \ rm /etc/ssh/ssh_host_* && \ rm -rf /tmp/* /var/tmp/* /var/lib/apt/lists/* /var/cache/apt/archives/* ENV PIPX_HOME /opt/pipx