runtimeverificationinc/kframework:ubuntu-bionic

Manifest digest

sha256:65502b8e0b47e416b7f51d7b37b07256c41829c5edc545e3ddfe3688c81d6218

OS/ARCH

linux/amd64

Compressed size

770.23 MB

Last pushed

almost 7 years by rvdockerhub

Type

Image

Manifest digest

sha256:65502b8e0b47e416b7f51d7b37b07256c41829c5edc545e3ddfe3688c81d6218

Image Layers

1ADD file ... in / 25.45 MB

2/bin/sh -c [ -z "$(apt-get34.54 KB

3/bin/sh -c set -xe &&847 B

4/bin/sh -c mkdir -p /run/systemd162 B

5CMD ["/bin/bash"]0 B

6ARG OS=ubuntu0 B

7ARG FLAVOR=bionic0 B

8ARG TIMEZONE=America/Chicago0 B

9ARG LOCALE=en_US.UTF-80 B

10ARG USER_ID=10010 B

11ARG GROUP_ID=10010 B

12|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu189 B

13|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu24.26 MB

14|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu483.96 KB

15|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu4.42 KB

16|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu7.41 MB

17|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu0 B

18|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu0 B

19/bin/sh -c apt-get update 712.59 MB

Command

ADD file:3ddd02d976792b6c6deed85bd3643cba43a7bce743c2a84d91336fc951e9a9ec in /