./octool: line 583: cd: cogutils-master/: No such file or directory

38 views
Skip to first unread message

David Beitler

unread,
Oct 5, 2017, 2:32:08 PM10/5/17
to opencog
Hello, everyone. I'm brand new to the group and just getting started with OpenCog. Just working on installing and exploring right now. 


Ran into this issue on a fresh install of Ubuntu Server 17.04. 

Kept getting the following message every time I ran  ./octool -rsdpcalv


./octool: line 583: cd: cogutils-master/: No such file or directory



Seems the issue is that the folder that is created by untarring the cogutils master.tar.gz is not named correctly in the octool script. 


If I edit the octool script on line 583 to say "cogutil-master" (remove the 's' from cogutils) it works again. 

Hope this will help anybody else who is also getting this same issue. 


-David Beitler  

Nil Geisweiller

unread,
Oct 5, 2017, 11:21:17 PM10/5/17
to ope...@googlegroups.com, David Beitler
Hi David,

thanks for your report! Your fix is correct. Generally, issues like this
would be reported on github. Each repository has an issue tab that
allows you to create one (for ocpkg it would be
https://github.com/opencog/ocpkg/issues).

But since you already have a fix I would recommend that you directly
create a pull request (fork the repo, push a commit to your master, and
it will automatically appear as a selectable PR on upstream).

Thanks!

Nil
> --
> You received this message because you are subscribed to the Google
> Groups "opencog" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to opencog+u...@googlegroups.com
> <mailto:opencog+u...@googlegroups.com>.
> To post to this group, send email to ope...@googlegroups.com
> <mailto:ope...@googlegroups.com>.
> Visit this group at https://groups.google.com/group/opencog.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/opencog/f88c8a4d-40a1-4bb4-9160-d7e43f987680%40googlegroups.com
> <https://groups.google.com/d/msgid/opencog/f88c8a4d-40a1-4bb4-9160-d7e43f987680%40googlegroups.com?utm_medium=email&utm_source=footer>.
> For more options, visit https://groups.google.com/d/optout.

Dagi S

unread,
Oct 6, 2017, 1:41:12 AM10/6/17
to opencog
Hi David, 

Maybe u should just update ur octool. 
cogutils was renamed to cogutil a few days ago.

Thanks! 
Dagim
Reply all
Reply to author
Forward
0 new messages