equal
deleted
inserted
replaced
8 in that situation? |
8 in that situation? |
9 |
9 |
10 Future: |
10 Future: |
11 - Use a better system than mkstemp() for finding output files, so we can add |
11 - Use a better system than mkstemp() for finding output files, so we can add |
12 .gz to the gzipped outputs. |
12 .gz to the gzipped outputs. |
|
13 v0.5.1: |
|
14 - Fixed the new '-t', which had several problems |
13 v0.5: |
15 v0.5: |
14 - Several bug fixes (related to -w, -r and -L) |
16 - Several bug fixes (related to -w, -r and -L) |
15 - ts creates sessions, so "kill -- -`ts -p`" can be used |
17 - ts creates sessions, so "kill -- -`ts -p`" can be used |
16 - New implementation for '-t', which exits when finished, similar to '-w' |
18 - New implementation for '-t', which exits when finished, similar to '-w' |
17 v0.4.2: |
19 v0.4.2: |