From b32ee449808d5e10dd281402166ee91a0e07c313 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 2 Jan 2021 09:25:56 +0000
Subject: [PATCH] Use full registry URL (allows to use the Dockerfile, e.g.,
 with podman, without the need to configure the registry.

---
 debian4isabelle/Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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