Re: Problems Installing OPAM

[Richard Mortier <Richard.Mortier@xxxxxxxxxxxxxxxx>]

looked to me more like it had once been run from a local install in u-l-b and 
then heidi had installed the .debs which put it in u-b

On 14 May 2013, at 17:17, Anil Madhavapeddy wrote:

> This is a new one on me.  I'm not sure that OPAM can do anything to rebuild 
> the shell cache.  But it's very very weird that invoking OPAM from the shell 
> would work, and then a subshell fails to find the binary that launched it!
> 
> So, hrm, not sure what we can do to improve this...
> 
> -anil
> 
> On 14 May 2013, at 16:51, Heidi Howard <hh360@xxxxxxxxx> wrote:
> 
>> Fixed, using "hash -r"
>> 
>> On 14 May 2013 16:21, Heidi Howard <hh360@xxxxxxxxx> wrote:
>>> I'm trying to install OPAM on Ubuntu 12.04 64-bit using the package
>>> manager, but I don't understand why its not working, any suggestions ?
>>> 
>>> 
>>> $ echo "deb [arch=amd64] http://www.recoil.org/~avsm/ wheezy main" >>
>>> /etc/apt/sources.list
>>> 
>>> $ sudo apt-get install opam
>>> Reading package lists... Done
>>> Building dependency tree
>>> Reading state information... Done
>>> The following NEW packages will be installed
>>> opam
>>> 0 upgraded, 1 newly installed, 0 to remove and 6 not upgraded.
>>> Need to get 2,598 kB of archives.
>>> After this operation, 7,478 kB of additional disk space will be used.
>>> WARNING: The following packages cannot be authenticated!
>>> opam
>>> Install these packages without verification [y/N]? y
>>> Get:1 http://www.recoil.org/~avsm/ wheezy/main opam amd64 0.9.6 [2,598 kB]
>>> Fetched 2,598 kB in 0s (9,820 kB/s)
>>> Selecting previously unselected package opam.
>>> (Reading database ... 313487 files and directories currently installed.)
>>> Unpacking opam (from .../archives/opam_0.9.6_amd64.deb) ...
>>> Processing triggers for man-db ...
>>> Setting up opam (0.9.6) ...
>>> 
>>> $ opam init
>>> bash: /usr/local/bin/opam: No such file or directory
>>> 
>>> 
>>> 
>>> --
>>> Regards
>>> Heidi
>> 
>> 
>> 
>> -- 
>> Regards
>> Heidi
>> 
> 
> 


-- 
Cheers,

R.




This message and any attachment are intended solely for the addressee and may 
contain confidential information. If you have received this message in error, 
please send it back to me, and immediately delete it.   Please do not use, copy 
or disclose the information contained in this message or in any attachment.  
Any views or opinions expressed by the author of this email do not necessarily 
reflect the views of the University of Nottingham.

This message has been checked for viruses but the contents of an attachment
may still contain software viruses which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.