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 ESMTPS id 6F0CF5D4 for ; Thu, 25 Apr 2019 16:54:48 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,394,1549926000"; d="scan'208,217";a="380264838" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Apr 2019 18:54:47 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 613A48268F; Thu, 25 Apr 2019 18:54:47 +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 61D478249D for ; Thu, 25 Apr 2019 18:54:43 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga04.intel.com IronPort-PHdr: =?us-ascii?q?9a23=3AkQZ+xx9xkcWCqv9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?1uwcTK2v8tzYMVDF4r011RmVBNydtq4P0rKK+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxhViDanYb5/Ixq6oRjNusQZnIBvNrs/xhzVr3VSZu?= =?us-ascii?q?9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3QrJEAjsmNXs15NDwuhnY?= =?us-ascii?q?UQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6bpgRRn1gy?= =?us-ascii?q?kFKjE56nnahMxugqxGvBKvqR9xw4/Ib46aL/dxZL/RcNcASGZdQspdSSpMCZ68?= =?us-ascii?q?YYsVCOoBOP5Vo4fgqVsJsxS+ChWsBPnoyj9QnnP9wKo00+U9HgHGxgMvAdYOvH?= =?us-ascii?q?rJp9jyMacSUPy6zKnSwjrda/Nawyz96I/WfRAuvfGMR7VwcdLKxEkuEQPFkkuf?= =?us-ascii?q?qYj/MzyJ0eQNtnGW4ux9XuyhjG4nrht+ojmpxso0i4nJgJ4VxU7A9Slj3Yk6O9?= =?us-ascii?q?u1Q1N4b968CJZcqiWXO5VsTs4iQ2xkoiY3xqMctZKmYiQG1IwrywPeZvGJaYSF?= =?us-ascii?q?7BzuWPyPLTp2gH9pYq+zihWv/US41+HxV8253ExUoidFndTArG4B2wbN5sSaTP?= =?us-ascii?q?Z2412v1iyV1w/J7+FJOUA0mrTfK54m2rMwk5UTvl7fEiL5gkn2jamWdlk69eis?= =?us-ascii?q?8ejofrLmppqEO491jAHxLLgul9SiDek8LAQCRWiW9OSm2LDj40H1WqhGguMqnq?= =?us-ascii?q?XBtZDVP8Ubpqq3Aw9P1YYj7g6yDzKn0NsEnXkINkxKeBadg4jyPFHBPv/4Deul?= =?us-ascii?q?g1SriDdm3PHGPrv9AprTKnjPiqvufbF460JE0go80chf545ICrEGOP/8RlX+tN?= =?us-ascii?q?ncDhMgNwy0wv3nCMlm24MFWWOPB7eZP7nIvV+J4OIvOeiMa5UPtDbzMfh2r8Lp?= =?us-ascii?q?2DUykFoZOK2oxoc/aXaiH/0gLV/TKS7ni9IFVGMLpRYWTerwiVTEXyQFNFioWK?= =?us-ascii?q?dprAo8BY26F4DbAsiIgbeB1Sq/VNUCY2FNClmBFTHzcIiLR+0LcAqTJNNslnoP?= =?us-ascii?q?Ur33GNxp7g2nqAKvk+kvFeHT4CBN7cu+hugw3PXakFQJzRIxD8mZ1DjSHWR7lz?= =?us-ascii?q?tUAT4wwK1750d6zwXbiPkqs7ljDdVWoshxfEI/PJ/YwfZ9DomrCAPHYtqNDl2h?= =?us-ascii?q?R4f/WG1jfpcK29YLJn1FNZC6lBmahnirBaMYk/qAA5lmqq8=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DYAQBy5cFch3g0N8BmgheBDwFSgReBB?= =?us-ascii?q?CgKmUGYOhSBZxAbEoRAAoYwGwcBBDEIDgEDAQEEAQECAQEBARMBAQEIDQkIKSM?= =?us-ascii?q?BC4I6IoMiHEIBDB5WFwEOAQQbF4MDAYEdagGpVBqCVYo0gTKLSYFYPoFXgh6Ee?= =?us-ascii?q?DqDOYImBIsjhkmUagMEAgKCCJJFlRSMBJRjgVEDgglwgzwJgiCECIogQAExgSm?= =?us-ascii?q?OKAGBIAEB?= X-IPAS-Result: =?us-ascii?q?A0DYAQBy5cFch3g0N8BmgheBDwFSgReBBCgKmUGYOhSBZxA?= =?us-ascii?q?bEoRAAoYwGwcBBDEIDgEDAQEEAQECAQEBARMBAQEIDQkIKSMBC4I6IoMiHEIBD?= =?us-ascii?q?B5WFwEOAQQbF4MDAYEdagGpVBqCVYo0gTKLSYFYPoFXgh6EeDqDOYImBIsjhkm?= =?us-ascii?q?UagMEAgKCCJJFlRSMBJRjgVEDgglwgzwJgiCECIogQAExgSmOKAGBIAEB?= X-IronPort-AV: E=Sophos;i="5.60,394,1549926000"; d="scan'208,217";a="303994816" X-MGA-submission: =?us-ascii?q?MDFuZ3BI2jDEgAOFXvNsA4SJ3oxcHp0R4xnaWd?= =?us-ascii?q?8UYKhyiQMYMwHU6u4G9QSjauDagJi1ovtFNqlsSsCOSkvFnBTuw/KZuS?= =?us-ascii?q?Tvd6q64NcC2OMVNcLJNHv4OsZSZrH/NaWzqtJYynQBh6Q67Lndn7drXq?= =?us-ascii?q?T2pBwyMAzwoWNNEcRemzQzQg=3D=3D?= Received: from mga04.intel.com ([192.55.52.120]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 25 Apr 2019 18:54:41 +0200 X-Amp-Result: SKIPPED(no attachment in message) X-Amp-File-Uploaded: False Received: from orsmga006.jf.intel.com ([10.7.209.51]) by fmsmga104.fm.intel.com with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 25 Apr 2019 09:54:38 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.60,394,1549958400"; d="scan'208,217";a="138800751" Received: from irsmsx152.ger.corp.intel.com ([163.33.192.66]) by orsmga006.jf.intel.com with ESMTP; 25 Apr 2019 09:54:37 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.21]) by IRSMSX152.ger.corp.intel.com ([169.254.6.225]) with mapi id 14.03.0415.000; Thu, 25 Apr 2019 17:54:37 +0100 From: "Soegtrop, Michael" To: "caml-list@inria.fr" Thread-Topic: Is it possible to have a common download cache for serval opam installations Thread-Index: AdT7hrlgI8RTai4uQt+mg1dpWhdm+Q== Date: Thu, 25 Apr 2019 16:54:36 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A178FD5D0AA@IRSMSX102.ger.corp.intel.com> Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: dlp-product: dlpe-windows dlp-version: 11.0.600.7 dlp-reaction: no-action x-ctpclassification: CTP_NT x-titus-metadata-40: eyJDYXRlZ29yeUxhYmVscyI6IiIsIk1ldGFkYXRhIjp7Im5zIjoiaHR0cDpcL1wvd3d3LnRpdHVzLmNvbVwvbnNcL0ludGVsMyIsImlkIjoiMmY0YTYzODUtNGM5NC00OTEyLTkxMjItYWMwMTI2OWZjYTE5IiwicHJvcHMiOlt7Im4iOiJDVFBDbGFzc2lmaWNhdGlvbiIsInZhbHMiOlt7InZhbHVlIjoiQ1RQX05UIn1dfV19LCJTdWJqZWN0TGFiZWxzIjpbXSwiVE1DVmVyc2lvbiI6IjE3LjEwLjE4MDQuNDkiLCJUcnVzdGVkTGFiZWxIYXNoIjoiUHFxNUY4SEViVVZBYmpvXC9nd1dOVmNHbmU3bll3WVRhMWdNNTN1TzJvdTE2eER6OUlXdVZONWdWUmxiMWJ6MHgifQ== x-originating-ip: [163.33.239.181] Content-Type: multipart/alternative; boundary="_000_0F7D3B1B3C4B894D824F5B822E3E5A178FD5D0AAIRSMSX102gercor_" MIME-Version: 1.0 Subject: [Caml-list] Is it possible to have a common download cache for serval opam installations Reply-To: "Soegtrop, Michael" X-Loop: caml-list@inria.fr X-Sequence: 17503 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: --_000_0F7D3B1B3C4B894D824F5B822E3E5A178FD5D0AAIRSMSX102gercor_ Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Dear Opam Team, I am working on scripts to automatically setup a Cygwin MinGW cross based d= evelopment 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 cou= ld 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't 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 --_000_0F7D3B1B3C4B894D824F5B822E3E5A178FD5D0AAIRSMSX102gercor_ Content-Type: text/html; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable

Dear Opam Team,

 

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’t 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

--_000_0F7D3B1B3C4B894D824F5B822E3E5A178FD5D0AAIRSMSX102gercor_--