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 A4B0C5D4 for ; Thu, 25 Apr 2019 19:23:20 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,394,1549926000"; d="scan'208";a="380281302" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Apr 2019 21:23:19 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id BB28A8269B; Thu, 25 Apr 2019 21:23:19 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 612DC8249D for ; Thu, 25 Apr 2019 21:23:07 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=anil@recoil.org; spf=None smtp.mailfrom=anil@recoil.org; spf=None smtp.helo=postmaster@bark.recoil.org IronPort-PHdr: =?us-ascii?q?9a23=3AOn6hcBS6SIKu0JZBAFAwcSomxtpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yZRGN2/xhgRfzUJnB7Loc0qyK6vmmBDBLuM3d+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiroQnLtsQbjoRuJrs/xxbGv3BFZ/?= =?us-ascii?q?lYyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbD?= =?us-ascii?q?SxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lC?= =?us-ascii?q?sKMSMy/XrJgcJskq1UvBOhpwR+w4HKZoGVKOF+db7Zcd8DWGZNQtpdWylHD4ih?= =?us-ascii?q?bYUAEvABMP5EoIbyulUArRmxCwejCu3sxD9GmHj40LYm0+Q4FAHKwAwgE84MvX?= =?us-ascii?q?nSsd77NL0SUeewzKTQ0TjDafJW2TPg44bPaB8uvPGMUqhuccXL0UkgCR7KgUiQ?= =?us-ascii?q?qIf4OD6azOINs2mf7+d7T+KglXIoqwZwojir3MssjZPJho0Mx13C6C53zoE1Jd?= =?us-ascii?q?iiR056Z96pCJpQtyeGN4RoRsMuWXxntzg8x7YbupC7ZDAHxZQ9yxLCa/GKfZKE?= =?us-ascii?q?7gz9WOuROzt1hG9pdKq7ihu860StyenxWtOp3FpUqidJiMTAu3EQ2xHV98OJUO?= =?us-ascii?q?Fy/l271jaKzw3T6v9LIUQzlafDMJEu2KQwlpkJvUTZACD5hEL2jK6Sdkk+/eio?= =?us-ascii?q?8evnbq3npp+aKYB0lhnzP6Q0lsCiAek1PBICU3aF9em8zrHu/VD1TK1PjvIsk6?= =?us-ascii?q?nZtJ7aJd4cpq68GwJayIAj6xe7Dzq9ytQXg2UILFVEeBKDlYTpPEvOIP/gAfel?= =?us-ascii?q?n1usiCtrx+zBPrD5HprCNH3DkLP4cbZ56k5c0xYzwMtE55NUD7EBOOj8VlXwtN?= =?us-ascii?q?zeFB85Mha7z/zpCNVnhcsiXjfFOaiUP7/ItkfMrscuKOmFaYtf8GL4KvMl7vPq?= =?us-ascii?q?y2Q+lFABZ66x9ZoRdH28WP9hJhPKT2Drh4IoF2YO9i83QOzjllSaXDJfdj7mVq?= =?us-ascii?q?Q94hkhBYmhDIOFQZqi1u/SlBynF4FbMzgVQmuHFm3lIsDdA69VOXCiZ/R5mzlB?= =?us-ascii?q?boCPDooo1BWgrgj/kuA1NOff/Swc85X524otvrGBpVQJ7TVxSv+l/SSVVWgtxD?= =?us-ascii?q?ESSjQx3aQ5plZymA/ajPpIxsdAHNkW3MtnFwc3MZmFkL5wAsrxHBjMddCITBCh?= =?us-ascii?q?WNr0WTw=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DkAABiCMJc/zPhmQVmHAEBAQQBAQcEA?= =?us-ascii?q?QGBVAQBAQsBgWEvaANPMiiED4h7iiOBaCUUg0mVAoFnEBsRAYRAAgiGKBsGBjM?= =?us-ascii?q?GDgEDAQEEAQECAQEBAWwcDII6KQGCZgEBAQMBIx0DAQUwAQEDCwsYAgImAgJJA?= =?us-ascii?q?Q0GEx+DAwGBeRMBqhgaNXGBL4J5BwKCRYRiAQmBCycBi0gXgX+BOAwTgh4uPoQ?= =?us-ascii?q?MOIMKMYImiyeaT2QJggpUkVYbbIsJiR+dSoMdgWUigVZ9CDsqAYJBCTWCCINrh?= =?us-ascii?q?GGFQD4BMoEGAQGPagEB?= X-IPAS-Result: =?us-ascii?q?A0DkAABiCMJc/zPhmQVmHAEBAQQBAQcEAQGBVAQBAQsBgWE?= =?us-ascii?q?vaANPMiiED4h7iiOBaCUUg0mVAoFnEBsRAYRAAgiGKBsGBjMGDgEDAQEEAQECA?= =?us-ascii?q?QEBAWwcDII6KQGCZgEBAQMBIx0DAQUwAQEDCwsYAgImAgJJAQ0GEx+DAwGBeRM?= =?us-ascii?q?BqhgaNXGBL4J5BwKCRYRiAQmBCycBi0gXgX+BOAwTgh4uPoQMOIMKMYImiyeaT?= =?us-ascii?q?2QJggpUkVYbbIsJiR+dSoMdgWUigVZ9CDsqAYJBCTWCCINrhGGFQD4BMoEGAQG?= =?us-ascii?q?PagEB?= X-IronPort-AV: E=Sophos;i="5.60,394,1549926000"; d="scan'208";a="380281205" X-MGA-submission: =?us-ascii?q?MDF5RbPdbWbSsfe1f1ArOuuKeG1n80/dNghgYZ?= =?us-ascii?q?SZBLKhLGVOledL9AWh9e0881GrmBlx0IFOi7qcN/bVb4NG4y4l0idyFQ?= =?us-ascii?q?u/xFTOPOevvLwAKwP1xqYAGq3cwmn/FqMGwsRkjCQ2idxc7DwZIK6jxQ?= =?us-ascii?q?GjMZuV2CTD+aIKuxG/1eZt5g=3D=3D?= Received: from bark.recoil.org ([5.153.225.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 25 Apr 2019 21:23:06 +0200 Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id 139a8352; Thu, 25 Apr 2019 20:23:05 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; s= selector1; bh=3grOYYIXkiF8sIubi82jkwdcs+0=; b=OxL00AjmbJP6DcNenq C6/bTb4qM+a22vD1fxHV/4sGn/2eafgD1H1U0kA74D5hNI047qNj8uFpBVxvw4aO 9uUjalKY7oB/D8VDqf/PX38RmjObmm/kUBqslYDVEu6gBeU8AvlCtOsdm6RH8PsI s0U6QqAl5omUqC4Mjr9E20SA8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; q=dns; s= selector1; b=edfp3RGXOckci3sdPnk3VGtMiPeOLwJnUPk5vShSP6g6bplrNxQ YWbSnW5nYR5wWJ+mT+xwQVPNSTENiEiaA5JF0D65pDveyzoBI6RbjgD5MLSHZqpJ 98GIpN33XdzotJi+G0YJ1S9HOOIHxCDa3dJNayh/AQqWEV0YeMa6zCKg= Received: from [192.168.1.101] (cli-174-cer-01.dsl.vpwsys.net [93.89.129.161]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id 8a1d5860 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Thu, 25 Apr 2019 20:23:05 +0100 (BST) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) From: Anil Madhavapeddy In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A178FD5D0AA@IRSMSX102.ger.corp.intel.com> Date: Thu, 25 Apr 2019 20:23:03 +0100 Cc: "caml-list@inria.fr" Content-Transfer-Encoding: quoted-printable Message-Id: References: <0F7D3B1B3C4B894D824F5B822E3E5A178FD5D0AA@IRSMSX102.ger.corp.intel.com> To: "Soegtrop, Michael" X-Mailer: Apple Mail (2.3445.9.1) Subject: Re: [Caml-list] Is it possible to have a common download cache for serval opam installations Reply-To: Anil Madhavapeddy X-Loop: caml-list@inria.fr X-Sequence: 17505 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: Dear Michael, If you=E2=80=99re on opam2, you can use the =E2=80=9Carchive-mirrors=E2=80= =9D field in your opam .config file to specify an alternative location = to look for download files in. The opam CI, for example, does something = like: echo 'archive-mirrors: [ "file:///home/opam/opam-repository/cache" = ]' >> /home/opam/.opam/config and the contents of /home/opam/opam-repository/cache are created via = =E2=80=9Copam admin cache=E2=80=9D. Hope that helps, Anil > On 25 Apr 2019, at 17:54, Soegtrop, Michael = wrote: >=20 > Dear Opam Team, > =20 > I am working on scripts to automatically setup a Cygwin MinGW cross = based development environment for Coq developers on Windows and for = testing these scripts I have to reinstall Cygwin and opam frequently. I = wonder if I could spare the downloads by specifying a common download = cache folder somewhere 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? > =20 > Best regards, > =20 > 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 >=20