diff options
| author | Adam NAILI | 2018-02-01 23:29:04 +0100 |
|---|---|---|
| committer | Adam NAILI | 2018-02-01 23:29:04 +0100 |
| commit | 79e23774da04497cb83f0cf233e1e9559769d37d (patch) | |
| tree | e6ed6d5a0d063940d9faaa629d6c9d0151c7f74b | |
| parent | e6cad7f280c3e4c5ef1ad16d69fc341320777834 (diff) | |
| parent | fdd6aef465c8c122754098c3a455f5cf005a7fe3 (diff) | |
| download | wallj-79e23774da04497cb83f0cf233e1e9559769d37d.tar.gz | |
Merge branch 'master' of https://github.com/pacien/upem-java-wallj
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | src/docs/user.md | 2 |
2 files changed, 2 insertions, 1 deletions
| @@ -1,5 +1,6 @@ | |||
| 1 | * | 1 | * |
| 2 | !*/ | 2 | !*/ |
| 3 | /out/ | ||
| 3 | 4 | ||
| 4 | !.gitignore | 5 | !.gitignore |
| 5 | !.gitkeep | 6 | !.gitkeep |
diff --git a/src/docs/user.md b/src/docs/user.md index cba47eb..1f947f9 100644 --- a/src/docs/user.md +++ b/src/docs/user.md | |||
| @@ -38,7 +38,7 @@ The program can be started by running the following command: | |||
| 38 | 38 | ||
| 39 | A custom world set contained within a directory can be loaded by supplying its path as command line argument as such: | 39 | A custom world set contained within a directory can be loaded by supplying its path as command line argument as such: |
| 40 | 40 | ||
| 41 | java -jar wallj.jar /home/sforthright/bnl/op_cleanup/ | 41 | java -Dlevels=/home/sforthright/bnl/op_cleanup/ -jar wallj.jar |
| 42 | 42 | ||
| 43 | World definition files stored within the given directories and named as `level$i.txt`, where `$i` is a padded integer, | 43 | World definition files stored within the given directories and named as `level$i.txt`, where `$i` is a padded integer, |
| 44 | are loaded in alphanumerical order. | 44 | are loaded in alphanumerical order. |