From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 656355D4 for ; Thu, 25 Apr 2019 19:08:08 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,394,1549926000"; d="scan'208,217";a="380279425" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Apr 2019 21:08:05 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C00508269D; Thu, 25 Apr 2019 21:08:05 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 3C9AB8249D for ; Thu, 25 Apr 2019 21:07:55 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=murthy.chet@gmail.com; spf=Pass smtp.mailfrom=murthy.chet@gmail.com; spf=None smtp.helo=postmaster@mail-lf1-f54.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ARJH6KBLVKuNXFSMuPdmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeK/nxwZ3uMQTl6Ol3ixeRBMOHsqsC1rad6vu6EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCegbb9oLBi7ogrdutQYjId8N6081gbHrnxUdu?= =?us-ascii?q?pM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTY?= =?us-ascii?q?QguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhT?= =?us-ascii?q?wZPDAl7m7Yls1wjLpaoB2/oRx/35XUa5yROPZnY6/RYc8WSW9HU81MVSJOH5m8?= =?us-ascii?q?YpMAAOoPP+lWr4fzqVgToxWgGQahH/ngxiNSi3LswaE2z+YsHAfb1wIgBdIOt3?= =?us-ascii?q?HUoc3rOacST++10LTDwzLeb/NMxTf96IjJeQ0mrPGJQLJwa9bRyUkvFg/fklqQ?= =?us-ascii?q?qZLqPy+O2+QCtmiU9etgVea1h2E7rAFxpyGiy8ExgYfHgYIVz0rL9SR/wIstJN?= =?us-ascii?q?24TlJ7bsCgEJdKqi6VKY17Sd4hTWFwoCs21KEKtJqhcCUJyJkr3QPTZv2FfoSS?= =?us-ascii?q?4h/uW+CcKipiin1/YrKwnROy/FCgyuLiUsm0105Hri9fndnNsnABzhjT6saaRv?= =?us-ascii?q?dk8Ees2TmC2xrc6uFDJkA0mq7bJIA7zrEskZoTtFzPHi7wmErokK+bblso9vSs?= =?us-ascii?q?5uj9YbjrpoWQO5J1hwz8KKgjmsOyDfw9MgcUXmib/eq81Kfk/U38WLhKi+A2kr?= =?us-ascii?q?PFsJDaJcUXvLK2Aw9L3YY/8Bu/ADKm384ZnXkDNl5KZBWHj43xN1HUPP/4Feu/?= =?us-ascii?q?g0irkDpz2//JJLjhApHUInjHkbfhZqp95lVHyAszyNBf/4hbBqsAIPL1QE/xtc?= =?us-ascii?q?bXAgU3MwyukK7bD4A37YQTVn6VBbfdeIbTul+B6+Zla72JZYQVsTv5beMi6vHy?= =?us-ascii?q?l3ghsV4bYaStm5AQbSbrMO5hJhCyYXfwyvIcC3sKr0JqSfHwlF2TFzVTamqaUK?= =?us-ascii?q?c15zV9A4WjW9SQDruxiaCMiX/oVqZdYXpLXxXVSS+xK9e0HswUYSfXGfdP1yQe?= =?us-ascii?q?XOH4GYAk3BCq8gT9zug/d7uGymgjrZvmkeNNyajWnBA2+yZzCp3EgW6IRmBw2G?= =?us-ascii?q?gPQm1vhf0tkQlG0l6GlJNArblYGNhUva4bVw47MdvYwbU/BY2uHA3GediNRRCt?= =?us-ascii?q?RdD0WTw=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A0AAAIBcJchjanVdFmHAEBAQQBAQcEA?= =?us-ascii?q?QGBUwUBAQsBgQ4BUlYBQIEEKIQPgR2CXo8jgg2KPogThXoUgWcQG4RSAoYwGwc?= =?us-ascii?q?BBDIHDgEDAQEEAQECAQEBARMBAQEICwsIGw4jDII6KQGCZwEEASMdAQgTHQEDA?= =?us-ascii?q?QsGBQQHNwICIgERAQUBDgENBhMIF4MDAYFoAQMND59vPIldGoEmgRIFAReCegW?= =?us-ascii?q?EPQoZJw1fgTkCBxKBIAGLSIIWg3UuPoQMg0KCVwSLI4dyk0EHAoIKkioba48kh?= =?us-ascii?q?QWgWA8hgTUKgX0zGiNQMYI7CYIGGh2DODOKQCIwkHIBAQ?= X-IPAS-Result: =?us-ascii?q?A0A0AAAIBcJchjanVdFmHAEBAQQBAQcEAQGBUwUBAQsBgQ4?= =?us-ascii?q?BUlYBQIEEKIQPgR2CXo8jgg2KPogThXoUgWcQG4RSAoYwGwcBBDIHDgEDAQEEA?= =?us-ascii?q?QECAQEBARMBAQEICwsIGw4jDII6KQGCZwEEASMdAQgTHQEDAQsGBQQHNwICIgE?= =?us-ascii?q?RAQUBDgENBhMIF4MDAYFoAQMND59vPIldGoEmgRIFAReCegWEPQoZJw1fgTkCB?= =?us-ascii?q?xKBIAGLSIIWg3UuPoQMg0KCVwSLI4dyk0EHAoIKkioba48khQWgWA8hgTUKgX0?= =?us-ascii?q?zGiNQMYI7CYIGGh2DODOKQCIwkHIBAQ?= X-IronPort-AV: E=Sophos;i="5.60,394,1549926000"; d="scan'208,217";a="304003687" X-MGA-submission: =?us-ascii?q?MDF3yR+xoxn+/HS03miLMmOPei3xZ9TLu+UPbG?= =?us-ascii?q?p6I0Uebh62OfZt+ZSiTR37rhISduRpyQb9N68o5k9K1mraJNUKjl8jgj?= =?us-ascii?q?sKO39ltgUGQpxYNT5e68UAa5l8bosqYMcZ1j1H//caPnW8zuswh//sBA?= =?us-ascii?q?R337WYsqWKKoVzphzqqdPJcg=3D=3D?= Received: from mail-lf1-f54.google.com ([209.85.167.54]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Apr 2019 21:07:42 +0200 Received: by mail-lf1-f54.google.com with SMTP id t11so446725lfl.12 for ; Thu, 25 Apr 2019 12:07:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=74qD6bATcriEhfO4J2eWRL90saZ66XXlXi0vqLsAqsw=; b=e7H80sXFuuMYcrvVrNuNelOTuZwBdYBoWKagnFJRm2/XA+BnCqyZqtsW7stK6kaLAQ 7IDnMEtCkwunNeWeC/qWyNYo4oE0KVzrnkdpGmbDyWsoAy5CYWKntSNiFEeXNb0cRGff 2oITDYroS40ux394qp5ZLqs08ZTnWGLksJZxRRkniq0+F3YlRA+tOltTrvRWd7lY9x9U 38NIOjvmR01rWX7JLZmc7i6SfmSOgMAvHcOTTSmjb4ut7+5h0R/UkhJvDD6fXo6AyqL/ wix131qSlpv/B0WzKTy50TgGO8oVc+I3xG0w8Umvny5NjmnQYs8aQqxRGUbxASjJOaAm BEYw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=74qD6bATcriEhfO4J2eWRL90saZ66XXlXi0vqLsAqsw=; b=F4Sqqv+LSfeeLF/Tsom3mA0KWtsZn0Wrv8DhNjQcZRv8zjH3Qb2ZeKj4X2rVJow5aA iwQiRqvoUX0OG1omcsOL1d2TAzeU7QfrcljVSw3ZTu6h8UN26DgWXBtATdiv8TmMq9dJ kbtipidlcYHCm2zR3rdgMf3pd0yawL3JlJpM5nwu68jefDpsxnCfpV+oIPqVDuoB8u+T CCqZa9C+jsD5IcAmXXjkHHzoO8pExArkGlRCQonUMNAXSvCYXfH2lURMGmxj9U1593CN VePUfZIv6PXauFemg2SsO3ELPxbqKI1Zk4jcgdbw2HVq65hEY0QbNhIAEWacmukQs/+y a3og== X-Gm-Message-State: APjAAAWYbubwVhFZUcUAB8ZAR1ReE/XC6JKASmkzeSTa+202gGF1SJX2 YnbQIZ2gN8rC0p9mSMzmbswwKd30PJZynrHh+UA= X-Google-Smtp-Source: APXvYqzqSR+jg6pFmgji7SKBIFTeVZzGFe3p3PDnCJiofzaqRESDuoO44a95Q+kxEDZxjviUXSNGn/y/74z2hxzDxrM= X-Received: by 2002:ac2:420b:: with SMTP id y11mr4687731lfh.104.1556219261782; Thu, 25 Apr 2019 12:07:41 -0700 (PDT) MIME-Version: 1.0 References: <0F7D3B1B3C4B894D824F5B822E3E5A178FD5D0AA@IRSMSX102.ger.corp.intel.com> In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A178FD5D0AA@IRSMSX102.ger.corp.intel.com> From: Chet Murthy Date: Thu, 25 Apr 2019 12:07:30 -0700 Message-ID: To: "Soegtrop, Michael" Cc: "caml-list@inria.fr" Content-Type: multipart/alternative; boundary="0000000000004a8fcf05875f8889" Subject: Re: [Caml-list] Is it possible to have a common download cache for serval opam installations Reply-To: Chet Murthy X-Loop: caml-list@inria.fr X-Sequence: 17504 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --0000000000004a8fcf05875f8889 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable When I wanted this (connectivity by a somewhat low-bandwidth connection), I solved the problem by running a little local HTTP proxy, solely for opam. Basically, I ran http-replicator with its cache in my $HOME/tmp directory, and then set the "http_proxy" environment variable (in the same rc-file where I sourced opam env) Worked a treat, and simple to setup. On Thu, Apr 25, 2019 at 9:55 AM Soegtrop, Michael < michael.soegtrop@intel.com> wrote: > Dear Opam Team, > > > > I am working on scripts to automatically setup a Cygwin MinGW cross based > development environment for Coq developers on Windows and for testing the= se > scripts I have to reinstall Cygwin and opam frequently. I wonder if I cou= ld > spare the downloads by specifying a common download cache folder somewher= e > outside of my Cygwin and .opam folders. Is there an option for this or > could I e.g. symlink the download folder somewhere or does opam keep and > index of what is in the download cache folder so that sharing won=E2=80= =99t work? > > > > Best regards, > > > > Michael > > Intel Deutschland GmbH > Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany > Tel: +49 89 99 8853-0, www.intel.de > Managing Directors: Christin Eisenschmid, Gary Kershaw > Chairperson of the Supervisory Board: Nicole Lau > Registered Office: Munich > Commercial Register: Amtsgericht Muenchen HRB 186928 > --0000000000004a8fcf05875f8889 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
When I wanted this (connectivity by a somewhat low-bandwid= th connection), I solved the problem by running a little local HTTP proxy, = solely for opam.=C2=A0 Basically, I ran http-replicator with its cache in m= y $HOME/tmp directory, and then set the "http_proxy" environment = variable (in the same rc-file where I sourced opam env)

= Worked a treat, and simple to setup.

On Thu, Apr 25, 2019 at 9:55 AM S= oegtrop, Michael <michael.= soegtrop@intel.com> wrote:

Dear Opam Team,

=C2=A0

I am working on scripts to automatically setup a Cyg= win MinGW cross based development environment for Coq developers on Windows= and for testing these scripts I have to reinstall Cygwin and opam frequent= ly. I wonder if I could spare the downloads by specifying a common download cache folder somewhere outside o= f my Cygwin and .opam folders. Is there an option for this or could I e.g. = symlink the download folder somewhere or does opam keep and index of what i= s in the download cache folder so that sharing won=E2=80=99t work?

=C2=A0

Best regards,

=C2=A0

Michael

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, ww= w.intel.de
Managing Directors: Christin Eisenschmid, Gary Kershaw
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

--0000000000004a8fcf05875f8889--