Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Document flok-repl -N <nick>/--notify-to-all #104

Open
jwaldmann opened this issue Dec 18, 2020 · 2 comments
Open

Document flok-repl -N <nick>/--notify-to-all #104

jwaldmann opened this issue Dec 18, 2020 · 2 comments
Labels
documentation Improvements or additions to documentation
Milestone

Comments

@jwaldmann
Copy link

it is visible with --help but I was not aware of it before.

If a repl is connected, then for each command, stdout (and stderr?) will be sent to

  • nowhere, by default?
  • a specific user's web client, name given after -N
  • all web clients, with --notify-to-all

for educational settings, I prefer --notify-to-all, but I can see how it would confuse the audience in a performance. But it could as well be part of the show...

@munshkr
Copy link
Owner

munshkr commented Dec 18, 2020

Yes I added that option and made the decision to not notify all about all the repls because it was really confusing on remote performances. There should be proper documentation of all options on the README though.

@munshkr munshkr added the documentation Improvements or additions to documentation label Dec 18, 2020
@jwaldmann
Copy link
Author

I see. I want --notify-all (not as default, but as an option) for the case where I run just one repl, and all participants listen to its audio stream. Then they need a way to see error messages. (It worked fine in a class I taught today.)

@munshkr munshkr changed the title document flok-repl -N <nick>/--notify-to-all Document flok-repl -N <nick>/--notify-to-all Dec 21, 2020
@munshkr munshkr modified the milestones: Flok 1.0, Version 1.0, Version 1.1 Jan 8, 2024
@munshkr munshkr removed the flok-next label Jan 8, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

No branches or pull requests

2 participants