| 1 | FROM debian:bookworm-slim
|
| 2 |
|
| 3 | WORKDIR /home/uke0/tmp
|
| 4 |
|
| 5 | # Copy again to prevent unsound caching
|
| 6 | COPY deps/from-apt.sh /home/uke0/tmp/deps/from-apt.sh
|
| 7 |
|
| 8 | RUN deps/from-apt.sh init-deb-cache
|
| 9 |
|
| 10 | # Notes:
|
| 11 | #
|
| 12 | # - We do apt-get update here too
|
| 13 | # - The IDs are
|
| 14 | # var-cache-apt-debian-12
|
| 15 | # var-lib-apt-debian-12
|
| 16 | #
|
| 17 | # And then soil-{other-tests,benchmarks,benchmarks2} will use the same cache ID
|
| 18 | # We also need wedges under each distro?
|
| 19 |
|
| 20 | RUN --mount=type=cache,id=var-cache-apt-debian-12,target=/var/cache/apt,sharing=locked \
|
| 21 | --mount=type=cache,id=var-lib-apt-debian-12,target=/var/lib/apt,sharing=locked \
|
| 22 | du --si -s /var/cache/apt /var/lib/apt && \
|
| 23 | deps/from-apt.sh layer-wedge-bootstrap-debian-12
|
| 24 |
|
| 25 | # Password-less sudo for 'sudo make install'
|
| 26 | RUN useradd --create-home -G sudo uke0 && \
|
| 27 | echo '%sudo ALL=(ALL) NOPASSWD:ALL' >> /etc/sudoers && \
|
| 28 | chown -R uke0 /home/uke0
|
| 29 |
|
| 30 | USER uke0
|
| 31 |
|
| 32 | CMD ["sh", "-c", "echo 'hello from oilshell/wedge-bootstrap-debian-12'"]
|