Revision 8988
Added by Aaron Marcuse-Kubitza about 11 years ago
| util.run | ||
|---|---|---|
| 28 | 28 |
on_exit () { run_args_cmd; }
|
| 29 | 29 |
trap on_exit EXIT |
| 30 | 30 |
|
| 31 |
top_file="${top_script%.run}"
|
|
| 32 |
top_filename="$(basename "$top_file")" |
|
| 33 |
|
|
| 31 | 34 |
fi |
Also available in: Unified diff
lib/util.sh: moved $top_file* to runscripts/util.run because they only apply to runscripts