lh-docker
/
lh-docker-isabelle
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Use full registry URL (allows to use the Dockerfile, e.g., with podman, without the need to configure the registry.

This commit is contained in:
Achim D. Brucker 2021-01-02 09:25:56 +00:00
parent b761d788a8
commit b32ee44980
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
debian4isabelle/Dockerfile
View File

@ -1,4 +1,4 @@
# Copyright (c) 2019 Achim D. Brucker # Copyright (c) 2019-2020 Achim D. Brucker, https://brucker.ch
# #
# All rights reserved. # All rights reserved.
# #
@ -24,7 +24,7 @@
# #
# SPDX-License-Identifier: BSD-2-Clause # SPDX-License-Identifier: BSD-2-Clause
FROM debian:testing-slim FROM registry.hub.docker.com/library/debian:testing-slim
SHELL ["/bin/bash", "-c"] SHELL ["/bin/bash", "-c"]