Basic "off" instructions missing

[marcoxa]

Hi

I tried the system and it appears to work, but I am not sure I actually use it correctly.
There should be some instructions about how to shut down the system. Killing the window does not seem nice.

All the best

Marco

[pamoroso]

Try (LOGOUT) from an Interlisp Exec (listener) or (IL:LOGOUT) from a Common Lisp one.

[marcoxa]

Yep. That worked, thanks. Still nice to let people know that's the way to do it. MA

…

On Sun, Sep 24, 2023 at 9:25 PM Paolo Amoroso ***@***.***> wrote: Try (LOGOUT) from an Interlisp Exec (listener) or (IL:LOGOUT) from a Common Lisp one. — Reply to this email directly, view it on GitHub <#1332 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAD5SWUU3NE6QE4RSWIGZZLX4CCKHANCNFSM6AAAAAA5FEECLY> . You are receiving this because you authored the thread.Message ID: ***@***.***>

-- Marco Antoniotti Somewhere over the Rainbow

[pamoroso]

Agreed. A possible option may be to add a button like these, bound to the logout forms:

[masinter]

We will shortly be hiring someone to help with documentation.
https://www.upwork.com/jobs/~01b49858a0593533d4

Please continue to submit issues for things you think should be documented and arent.

[marcoxa]

Sounds good. BTW, on Windows 11, hitting the documentation buttons says that no web browser can be found. I guess that must be some missing configuration bit. MA

…

On Sun, Sep 24, 2023 at 9:52 PM Paolo Amoroso ***@***.***> wrote: Agreed. A possible option may be to add a button like these, bound to the logout forms: [image: buttons] <https://user-images.githubusercontent.com/10342479/270188236-9f41ce1e-b05c-4b03-ae1f-3a058431bfd3.png> — Reply to this email directly, view it on GitHub <#1332 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAD5SWX4B47SB2UCGJA4X73X4CFOPANCNFSM6AAAAAA5FEECLY> . You are receiving this because you authored the thread.Message ID: ***@***.***>

-- Marco Antoniotti Somewhere over the Rainbow

[marcoxa]

Thank you, I will do that.

…

On Sun, Sep 24, 2023 at 10:00 PM Larry Masinter ***@***.***> wrote: We will shortly be hiring someone to help with documentation. https://www.upwork.com/jobs/~01b49858a0593533d4 Please continue to submit issues for things you think should be documented and arent. — Reply to this email directly, view it on GitHub <#1332 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAD5SWVZF7S3SUVTYXZ3CR3X4CGOLANCNFSM6AAAAAA5FEECLY> . You are receiving this because you authored the thread.Message ID: ***@***.***>

-- Marco Antoniotti Somewhere over the Rainbow

[nbriggs]

The notes about (LOGOUT) are in https://interlisp.org/medley/using/running/online/, and you'll also find poking around: https://interlisp.org/doc/info/Using.html and while it's not obvious, https://interlisp.org/documentation/SunUserGuide.pdf probably has more of what you need to know about using Interlisp online or when installed locally in a non Xerox D-machine environment. Each time there's a new audience/context for Interlisp the documentation gets modified/added too - which has lead to a proliferation of guides (or guides to the guides...), none of which is complete. At least when I started using Interlisp there were always other users nearby and you'd just ask someone "how do I do ..." or "where do I find the documentation for ..."

[pamoroso]

To address the issue I submitted PR #205.

[pamoroso]

PR 205 addressed this issue, so I'm closing it.