From 85ee9317de79377ba43ee876581aec6c11c54590 Mon Sep 17 00:00:00 2001 From: Yusuke Miyazaki Date: Sat, 2 Mar 2024 23:47:11 +0900 Subject: [PATCH] Fix Dockerfile --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index b048e91..75be296 100644 --- a/Dockerfile +++ b/Dockerfile @@ -12,7 +12,7 @@ FROM alpine:3.19 RUN echo "@testing http://dl-cdn.alpinelinux.org/alpine/edge/testing" >> /etc/apk/repositories RUN apk --update add rlwrap@testing -COPY --from=0 /home/opam/.opam/4.14/bin/ldti /usr/bin/ +COPY --from=0 /home/opam/.opam/5.1/bin/ldti /usr/bin/ # Workaround: sleep for 1 second to avoid the following error: # rlwrap: error: My terminal reports width=0