sudo cp /etc/docker/daemon.json /etc/docker/daemon.json.bak.$(date +%Y%m%d%H%M%S)
sudo python3 - <<'PY'
import json
from pathlib import Path
path = Path("/etc/docker/daemon.json")
data = json.loads(path.read_text() or "{}")
pool = {"base": "172.20.0.0/14", "size": 24}
pools = data.get("default-address-pools", [])
if pool not in pools:
pools.append(pool)
data["default-address-pools"] = pools
path.write_text(json.dumps(data, indent=2) + "\n")
PY
sudo systemctl restart docker
docker info | grep -A20 "Default Address Pools"