Question

我正试图跑步：

$(() => {
  $(".tooltip-anchor").each((index, element) => {
    let $anchor = $(element),
        contentSelector = $anchor.data("tooltip-content"),
        $content = $(contentSelector).detach();

    let timeoutId = null;
    function cancelClose() {
      if (timeoutId) {
        clearTimeout(timeoutId);
        timeoutId = null;
      }
    }
    function scheduleClose() {
      cancelClose();
      timeoutId = setTimeout(() => {
        $anchor.tooltip("close");
        timeoutId = null;
      }, 250)
    }

    let tooltipOptions = {
      content: () => $content,
      // Only the tooltip anchor should get a tooltip.  If we used "*", every child tag would
      //  also get a tooltip.
      items: ".tooltip-anchor",
      position: {
        my: "center top+10",
        at: "center bottom",
        collision: "flipfit",
      },
    };
    if ($anchor.is(".tooltip-is-hoverable")) {
      $.extend(tooltipOptions, {
        open: (e) => {
          let $anchor = $(e.target),
              contentSelector = $anchor.data("tooltip-content"),
              $content = $(contentSelector),
              $tooltip = $content.closest("[role='tooltip'],.ui-tooltip");
          $tooltip.on('mouseenter', cancelClose),
          $tooltip.on('mouseleave', scheduleClose);
        },
        tooltipClass: "hoverable-tooltip",
      });

      // Prevent jquery UI from closing the tooltip of an anchor with a hoverable tooltip.
      $anchor.on('mouseleave', (e) => {
        // Instead, schedule a close.
        scheduleClose();
        e.stopImmediatePropagation();
      });
    }
    $anchor.tooltip(tooltipOptions);
  });
});

但是我得到了错误：

docker build -f hol-light/Dockerfile_check_proofs --ulimit stack=1000000000 --tag check_proofs hol-light/

为什么？

docker文件为：https://github.com/brain-research/hol-light/blob/master/Dockerfile_check_proofs

Sending build context to Docker daemon   48.9MB
Step 1/16 : FROM ocaml/opam:ubuntu-16.04_ocaml-4.03.0
pull access denied for ocaml/opam, repository does not exist or may require 'docker login': denied: requested access to the resource is denied

交叉张贴：

https://forums.docker.com/t/why-cant-i-get-ocaml-opam-ubuntu-16-04-ocaml-4-03-0-docker-image/84351

Answer 1

https://hub.docker.com/r/ocaml/opam/已有两年未更新，并显示：

将来，该存储库中的标签将被删除

此删除操作正在进行中（实际上，它已经删除了一个多星期）。

ocaml/opam（透明1）图像现在通常不可用，因为它们不适用于当前的opam存储库。

您可以使用两种选择：

ocaml/opam2包含opam 2图片。例如ocaml/opam2:ubuntu-16.04-ocaml-4.03
ocurrent/opam也是opam 2，但包含的图像要小得多（每个图像只有一个版本的编译器）。例如ocurrent/opam:ubuntu-16.04-ocaml-4.03 但是，此存储库只是临时的。集线器完成删除操作后，它将替换ocaml/opam ...

为什么我无法获得ocaml / opam：ubuntu-16.04_ocaml-4.03.0 docker镜像？

1 个答案: