Bonjour à tous
Je suis le tuto pour monter mon Google drive à http://xmodulo.com/mount-google-drive-linux.html
à l’étape [mono]opam init[/mono] j’ai plein d’erreurs du type :
[quote][WARNING] Errors while parsing why.2.35 OPAM file, skipping.
[ERROR] Your version of OPAM (1.1.1) is not recent enough to read ~/.opam/repo/default/packages/why3/why3.0.85/opam. Upgrade OPAM to a more recent version (at least 1.2) to read this file correctly.[/quote]
Je ne sais pas pourquoi mon [mono]opam[/mono] est si bas ; je vois la version 1.2.0-1 à : https://packages.debian.org/jessie/opam
$ git clone https://github.com/OCamlPro/opam.git doit être obsolète et un [mono]apt-get opam[/mono] me dit que je suis à jour en 1.1.1
rem@n73sm:~/opam$ opam --version
1.1.1Je suis bloqué, je cherche le dépôt [mono]opam[/mono] à instruire pour mon sources.list ; je ne comprends pas bien ce qui m’arrive 
Merci de votre aide
Je teste avec le Git : github.com/ocaml/opam
rem@n73sm:~/opam$ opam --version
1.3.0~dev
édition : Le lien cité en premier donne un mauvais résultat : système lent, voire figé.
Je me recommande [mono]grive[/mono] : http://www.lbreda.com/grive/
suite : github.com/Grive/grive/issues/310 (Grive does not work #310 : simeon236 opened this issue on 20 Apr · 11 comments)
J’ai suivi la méthode [mono]drive[/mono] évoquée dans ce lien : https://github.com/odeke-em/drive (Pull or push Google Drive files)
Elle est intéressante mais ne permet pas de montage du lecteur.
http://gdfuse.forge.ocamlcore.org/ est une piste pour le faire.