Commit d24c3d69 authored by jspiegel's avatar jspiegel

typo in user var correction

parent 82719001
......@@ -21,6 +21,7 @@ WIP (4.0.1)
* Revised `./docker/` to clarify docker use.
* Updated the docker scripts. Bug fixes, added `--rm` to the docker command,
* Revised `$PATH/autogrow4/autogrow/` to correct minor typo.
* Added `$PATH/autogrow4/`.
......@@ -497,7 +497,7 @@ def determine_bash_timeout_vs_gtimeout():
whether the bash terminal is able to use the bash function timeout or gtimeout
if platform.system() == "Linux":
if platform.system == "linux":
# Should be true and default installed in all Linux machines
return "timeout"
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment