Merging latest GameShell version to get ready for the back to school challenge#1
Open
bgaultier wants to merge 68 commits into
Open
Merging latest GameShell version to get ready for the back to school challenge#1bgaultier wants to merge 68 commits into
bgaultier wants to merge 68 commits into
Conversation
which is a problem on case insensitive filesystems...
$./utils/archive.sh -I index-short.txt -I index-all.txt MISSIONS will generate a standalone archive with 3 index files (and all the necessary missions): - index.txt, containing all the MISSIONS given as arguments - index-short.txt, containing the missions from index-short.txt - index-all.txt, containing the missions from index-all.txt You can choose which index file to use when starting a Gameshell instance: $ ./gameshell.sh or equivalently $ ./gameshell.sh index.txt uses index.txt and $ ./gameshell.sh index-short.txt uses index-short.txt
also, wrong option for archive.sh documented in doc
to get the full list of options, use -H instead
I also change the way make_index works:
- if used from a self extracting archive, prefix all arguments with
$GSH_MISSIONS/
- otherwise, use the actual files given from the command line
I also print a warning when giving index files in "continue" mode, as
those are not used.
I also had to fix some bugs so the test / auto files worked with non-interactive shells.
it is probably clearer that the default index file is called "default.idx" instead of index.txt
because it doesn't work
to avoid confusion (player using charmiglio instead of Charmiglio in the second mission)
it is not always clear to the player whether their output has blank lines that should be removed.
it is suprising that cd cd ..... gsh goal gsh check doesn't work because of the gsh goal
to run tests in English, French and Italian
Co-authored-by: Chuck Jaeger <chuck.the.nerd@gmail.com>
typo fix: optionnal -> optional
typo fix: optionnal -> optional
Co-authored-by: Rodolphe Lepigre <lepigre@mpi-sws.org>
as suggested by jbtls in #181
and move back to cellar on init
the utils/archive.sh script has been renamed to utils/gameshell_archive.sh NOTE for translators The files are located in $GSH_ROOT/i18n/source/gsh-commands/LANG - commands_admin.txt - commands_dev.txt - commands_misc.txt - commands_standard.txt contain the help for gsh commands. (Note that trailing "+" symbols are there to indicate hard line breaks and should be kept.) - gsh_help.txt is the header used with commands_standard.txt to generate the output of the "gsh help" command. - gsh_full_help.txt is used to wrap the commands_*.txt files to generate the output of the "gsh HELP" command. - man_gsh.txt It is used to generate the manpage (with asciidoc) with the commands_*.txt files. It contains additional comments / explanations about GameShell. If you do translate it, don't forget to add your name somewhere! You can generate each of the output files with $ make LANG.1 $ make LANG.help The command $ make install should install the files in the appropriates directories.
many students don't read the error from gsh check, so I added the note to the goal as well
and fix typo in translation files
it thus reported them as skipped
this option is deprecated and appears in every mission makefile
the real journal from the chest was removed on failure
a dummy mission might not contain check.sh, init.sh or static.sh, but only a gshrc file
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
8 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.