Dear all, Thanks for your inputs! It's working now. @Mindy- ma'am I had to add '/usr/share/app-install/desktop/mirage:mirage.desktop' to my $PATH, mirage --help works, thank you! :)
Sincerely, Lasya V On 25 September 2015 at 02:56, Mindy Preston <[email protected]> wrote: > Hi Lasya, > > You may need to run: > > eval `opam config env` > > to be sure that the directory to which opam installed mirage is in your > $PATH . > > Cheers, > Mindy > > > On September 24, 2015 4:22:02 PM CDT, Lasya Venneti < > [email protected]> wrote: >> >> Dear Sir, >> >> I removed opam & deleted my .opam folder, and re-installed it , this time >> version 1.2.2. This time all the opam commands worked without sudo and >> looks like the installation was right! The last two lines for *opam >> install mirage* say "installed mirage.2.6.1 >> Done." >> >> >> *opam config report * outputs: >> >> # OPAM config report >> # opam-version 1.2.2 >> # self-upgrade no >> # os linux >> # external-solver aspcud $in $out $criteria >> # criteria -removed,-notuptodate,-changed >> # jobs 4 >> # repositories 1* (http) >> # pinned 0 >> # current-switch 4.01.0 >> # last-update 2015-09-24 21:01 >> >> but mirage --help still doesn't seem to work. Returns ' The program >> 'mirage' is currently not installed. You can install it by typing: >> sudo apt-get install mirage' >> >> >> Sincerely, >> Lasya V >> >> >> On 25 September 2015 at 01:55, Amir Chaudhry <[email protected]> wrote: >> >>> From the screen log you attached I see a lot of errors related to using >>> OPAM 1.1.1. The current version of OPAM is 1.2.2, I believe. >>> >>> How did you install OPAM? >>> >>> You mention that it seems to be working so could you tell us what the >>> output of the following is: >>> opam config report >>> >>> Also, you shouldn't need to use sudo at any point with OPAM. >>> >>> Best wishes, >>> Amir >>> >>> -- >>> Sent via mobile >>> >>> On 24 Sep 2015, at 21:03, Lasya Venneti <[email protected]> wrote: >>> >>> Dear Sir, >>> >>> I have tried as per your suggestion but it still doesn't seem to be >>> working. After this, Even though the installation process says "you need >>> not be the root user" I sudo-ed most commands and it seemed to be working, >>> installation seems to be successful from the prompts. (However, typing >>> 'mirage --help' doesn't work yet, says install mirage thought apt-get ). >>> Can I proceed? Or am I doing something wrong? >>> >>> Sincerely, >>> Lasya V >>> >>> On 24 September 2015 at 21:50, Richard Mortier < >>> [email protected]> wrote:, inst >>> >>>> Hi; >>>> >>>> On 24 September 2015 at 17:09, Lasya Venneti <[email protected]> >>>> wrote: >>>> > Dear all, >>>> > >>>> > While following the installation instructions, the 'opam init' >>>> command has >>>> > failed with the error : >>>> > >>>> Sys_error("/home/lasya/.opam/repo/default/packages/alcotest/alcotest.0.4.1/opam: >>>> > Too many open files") >>>> > I have also attached the screen log to the mail. My laptop is mid 2014 >>>> > Lenovo-Y510p with Ubuntu 14.04 64 bit. Can somebody tell me how do I >>>> solve >>>> > this and why is this happening? Am I doing something wrong? >>>> >>>> Probably a `ulimit` setting, eg., >>>> >>>> http://askubuntu.com/questions/181215/too-many-open-files-how-to-find-the-culprit >>>> . >>>> >>>> Try `ulimit -a` to see what current limits are, and then something >>>> like `ulimit -n 5000` (or a number bigger than the current limit >>>> anyway) to get around this. >>>> >>>> ISTR this was an issue recently with alcotest specifically -- @samoht, >>>> was there a proper fix intended for this at some point? (Or is it >>>> really just a very low default ulimit setting on Ubuntu?) >>>> >>>> -- >>>> Richard Mortier >>>> [email protected] >>>> >>> >>> _______________________________________________ >>> MirageOS-devel mailing list >>> [email protected] >>> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel >>> >>> >> ------------------------------ >> >> MirageOS-devel mailing list >> [email protected] >> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel >> >> > -- > Composed on a touchscreen keyboard; please forgive typos and brevity. >
_______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
