root/bin/stop_imports @ 1950
| 1 | 1855 | aaronmk | #!/bin/bash
|
|---|---|---|---|
| 2 | 1552 | aaronmk | # Stops all running imports
|
| 3 | |||
| 4 | 1949 | aaronmk | self="${BASH_SOURCE[0]}" |
| 5 | 1797 | aaronmk | selfDir="$(dirname -- "$self")" |
| 6 | |||
| 7 | 1552 | aaronmk | if test "${BASH_LINENO[0]}" = 0; then # was run without initial "." |
| 8 | 1949 | aaronmk | echo "Usage: . $self (note initial \".\")"|fold -s >&2 |
| 9 | return 2
|
||
| 10 | 1552 | aaronmk | fi
|
| 11 | |||
| 12 | 1797 | aaronmk | for job in $(jobs|grep -F 'make inputs/'|"$selfDir/jobspecs"); do |
| 13 | kill $job |
||
| 14 | done
|