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

Should there be a manpage for gsh? #40

Open
phyver opened this issue Jun 3, 2021 · 8 comments
Open

Should there be a manpage for gsh? #40

phyver opened this issue Jun 3, 2021 · 8 comments
Labels
enhancement GameShell relative to GameShell code

Comments

@phyver
Copy link
Owner

phyver commented Jun 3, 2021

It could be installed somewhere and MANPATH be updated.
(POSIX specifically mentions this variable is not standardized but that many system use it...)

@rlepigre
Copy link
Collaborator

rlepigre commented Jun 3, 2021

Sounds like an easy enough thing to add!
We could even think about replacing gsh help by man gsh (not sure that is a good idea though).

@phyver
Copy link
Owner Author

phyver commented Jun 3, 2021

I'd prefer keeping gsh help, but a manpage could replace gsh HELP.

@rlepigre
Copy link
Collaborator

rlepigre commented Jun 3, 2021

Indeed, good idea!

@phyver phyver added enhancement GameShell relative to GameShell code labels Jun 4, 2021
@Aierbote
Copy link

Aierbote commented Jun 1, 2022

Maybe it's a bit off topic, but I was wondering what was the difference between gsh help and gsh HELP

I hope there will be soon a man gsh, becasue I've already checked it on my own before reading this.

@rlepigre
Copy link
Collaborator

rlepigre commented Jun 2, 2022

Both gsh help and gsh HELP show you a list of available commands of the form gsh <command>. The difference is that gsh help lists commands that are useful to play the game, while gsh HELP lists all available commands. Some commands are not intended to be used by the player, for example commands that skip a mission (it can be used in a teaching context when a student is stuck for too long, or when there is a bug in a mission that makes it unsolvable) or that are useful for debugging.

@phyver
Copy link
Owner Author

phyver commented Jun 2, 2022

What would you put in the man page?
. The equivalent of gsh help,
. the equivalent of gsh HELP,
. the equivalent of bash gameshell.sh -h,
. all of the above?

Putting everything makes sense, but for newcomers, that will be too long.

The output of ./gameshell.sh -h doesn't really make sense on its own, as this man page will only be accessible from inside GameShell, when you're not supposed to run another version of GameShell.

Maybe just the equivalent of gsh help, with the addition of a description of gsh HELP?

@rlepigre
Copy link
Collaborator

rlepigre commented Jun 2, 2022

Maybe we want more than one man page? One that is intended for users (accessed with man gsh and containing roughly the same thing as gsh help), and one that is more complete (accessed with man gsh-commands or something similar).

@rlepigre
Copy link
Collaborator

rlepigre commented Jun 2, 2022

But in all cases, we want to share as much text as possible to avoid too much duplication when translating the game.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement GameShell relative to GameShell code
Projects
None yet
Development

No branches or pull requests

3 participants