Giter Site home page Giter Site logo

Comments (8)

phyver avatar phyver commented on August 20, 2024 1

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

from gameshell.

rlepigre avatar rlepigre commented on August 20, 2024

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).

from gameshell.

rlepigre avatar rlepigre commented on August 20, 2024

Indeed, good idea!

from gameshell.

Aierbote avatar Aierbote commented on August 20, 2024

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.

from gameshell.

rlepigre avatar rlepigre commented on August 20, 2024

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.

from gameshell.

phyver avatar phyver commented on August 20, 2024

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?

from gameshell.

rlepigre avatar rlepigre commented on August 20, 2024

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).

from gameshell.

rlepigre avatar rlepigre commented on August 20, 2024

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

from gameshell.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.