Hi all, I got a little bit more time to work on CogProtoLab. This time I had fun with loading/saving script snippets without a need for running an external editor. Just be sure to adjust file access privileges for the scripts folder, then try a new set of buttons.
All suggestions and bug reports are welcome. - ivan - sub, 15. sij 2022. u 06:41 Ivan V. <[email protected]> napisao je: > Thanks. > > Maybe I could make an interface for MeTTa once it's finished. Python is > still on the waitlist. > > sub, 15. sij 2022. u 05:27 Linas Vepstas <[email protected]> napisao > je: > >> Cool! >> >> On Fri, Jan 14, 2022 at 2:00 PM Ivan V. <[email protected]> wrote: >> >>> update: added automatic prompt detection. >>> >>> pet, 14. sij 2022. u 12:59 Ivan V. <[email protected]> napisao je: >>> >>>> Hi Linas, >>>> >>>> I added the expected prompt string to the init-ctrl.js configuration >>>> file. >>>> >>>> Is it ok now? >>>> >>>> - ivan - >>>> >>>> pet, 14. sij 2022. u 06:12 Linas Vepstas <[email protected]> >>>> napisao je: >>>> >>>>> >>>>> >>>>> On Wed, Jan 12, 2022 at 6:32 AM Ivan V. <[email protected]> wrote: >>>>> >>>>>> Hi Linas, >>>>>> >>>>>> Where can I find examples of interacting with those other prompts? I >>>>>> would need some testing examples. >>>>>> >>>>> >>>>> There are several ways. Here's one: >>>>> $ guile >>>>> (use-modules (opencog)) >>>>> (use-modules (opencog cogserver)) >>>>> ,describe start-cogserver ;; a bunch of stuff is printed out >>>>> (start-cogserver #:port 17002 #:scmprompt "finkle blob$%!! ") >>>>> >>>>> then in another shell: >>>>> rlwrap telnet localhost 17002 >>>>> scm >>>>> >>>>> It prints: >>>>> >>>>> $ rlwrap telnet localhost 17002 >>>>> Trying 127.0.0.1... >>>>> Connected to localhost. >>>>> Escape character is '^]'. >>>>> scm >>>>> Entering scheme shell; use ^D or a single . on a line by itself to >>>>> exit. >>>>> finkle blob$%!! >>>>> >>>>> --linas >>>>> -- >>>>> Patrick: Are they laughing at us? >>>>> Sponge Bob: No, Patrick, they are laughing next to us. >>>>> >>>>> >>>>> -- >>>>> 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 [email protected]. >>>>> To view this discussion on the web visit >>>>> https://groups.google.com/d/msgid/opencog/CAHrUA36McS6AAgZQpYkgyJz75aMkMy9L5zBs_Gzo%3DYu4g7DJyA%40mail.gmail.com >>>>> <https://groups.google.com/d/msgid/opencog/CAHrUA36McS6AAgZQpYkgyJz75aMkMy9L5zBs_Gzo%3DYu4g7DJyA%40mail.gmail.com?utm_medium=email&utm_source=footer> >>>>> . >>>>> >>>> -- >>> 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 [email protected]. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/opencog/CAB5%3Dj6UMMBnCm0Dw6r%2BYUo3eoMBACn_g2O5b1jAkPggu1BoTnQ%40mail.gmail.com >>> <https://groups.google.com/d/msgid/opencog/CAB5%3Dj6UMMBnCm0Dw6r%2BYUo3eoMBACn_g2O5b1jAkPggu1BoTnQ%40mail.gmail.com?utm_medium=email&utm_source=footer> >>> . >>> >> >> >> -- >> Patrick: Are they laughing at us? >> Sponge Bob: No, Patrick, they are laughing next to us. >> >> >> -- >> 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 [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/opencog/CAHrUA36Sium5%2BX%2B4LCWO%3DQDHyAA7TYj8uTj%2BHTOriWMAVVy0tw%40mail.gmail.com >> <https://groups.google.com/d/msgid/opencog/CAHrUA36Sium5%2BX%2B4LCWO%3DQDHyAA7TYj8uTj%2BHTOriWMAVVy0tw%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CAB5%3Dj6UJ33Suv%3DR%3Ds3JcFAcA8g73PD9D5qUKdJw%2B8tNO1Xs0EQ%40mail.gmail.com.
