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.
