diff options
| -rw-r--r-- | README.md | 1 | ||||
| -rwxr-xr-x | pool.sh | 9 |
2 files changed, 10 insertions, 0 deletions
@@ -14,6 +14,7 @@ - Processes in a pool can be paused with `./pool.sh pause <poolname>` - Processes in a pool can be resumed with `./pool.sh resume <poolname>` - Available pools can be retrieve with `./pool.sh ls` +- The status of a pool can be seen with `./pool.sh status <poolname>` - All the processes output file can be retrieve with `./pool.sh ls-output <poolname>` **Final quote:** No checks are performed the arguments. Thus, be sure to use the right ones. The default configuration requires access to the `/tmp` directory and uses name conventions which may clash with the existing content of `/tmp` if you are very unlucky. If in this the case, you can edit `pool.sh` to avoid those clashes. @@ -121,6 +121,11 @@ wait_pool() { done } +status() { + refresh + cat "${POOL_STATUS}" +} + list_output() { refresh find "${POOL}" -name "out_*" @@ -214,6 +219,10 @@ case "$CMD" in check_pool resume ;; + "status") + check_pool + status + ;; *) abort "Command $CMD unknown" esac |
