caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: "Soegtrop, Michael" <michael.soegtrop@intel.com>
To: "caml-list@inria.fr" <caml-list@inria.fr>
Subject: [Caml-list] Is it possible to have a common download cache for serval opam installations
Date: Thu, 25 Apr 2019 16:54:36 +0000	[thread overview]
Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A178FD5D0AA@IRSMSX102.ger.corp.intel.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 879 bytes --]

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 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'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

[-- Attachment #2: Type: text/html, Size: 2847 bytes --]

             reply	other threads:[~2019-04-25 16:54 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-04-25 16:54 Soegtrop, Michael [this message]
2019-04-25 19:07 ` Chet Murthy
2019-04-25 19:23 ` Anil Madhavapeddy
2019-04-26  8:39   ` Soegtrop, Michael

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=0F7D3B1B3C4B894D824F5B822E3E5A178FD5D0AA@IRSMSX102.ger.corp.intel.com \
    --to=michael.soegtrop@intel.com \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).