Revision 8291
Added by Aaron Marcuse-Kubitza almost 12 years ago
| inputs/GBIF/table.run | ||
|---|---|---|
| 1 |
#!/bin/bash |
|
| 2 |
set -o errexit |
|
| 1 |
#!/bin/bash -e |
|
| 3 | 2 |
. "$(dirname "${BASH_SOURCE[0]}")"/../../lib/table.run
|
| 4 | 3 |
|
| 5 | 4 |
MySQL_export () |
| inputs/GBIF/raw_occurrence_record/run | ||
|---|---|---|
| 1 |
#!/bin/bash |
|
| 2 |
set -o errexit |
|
| 1 |
#!/bin/bash -e |
|
| 3 | 2 |
. "$(dirname "${BASH_SOURCE[0]}")"/../table.run
|
| inputs/GBIF/_MySQL/run | ||
|---|---|---|
| 1 |
#!/bin/bash |
|
| 2 |
set -o errexit |
|
| 1 |
#!/bin/bash -e |
|
| 3 | 2 |
. "$(dirname "${BASH_SOURCE[0]}")"/../../../lib/util.run
|
| 4 | 3 |
|
| 5 | 4 |
import () |
| inputs/GBIF/run | ||
|---|---|---|
| 1 |
#!/bin/bash |
|
| 2 |
set -o errexit |
|
| 1 |
#!/bin/bash -e |
|
| 3 | 2 |
. "$(dirname "${BASH_SOURCE[0]}")"/../../lib/util.run
|
| 4 | 3 |
|
| 5 | 4 |
subdirs=(_MySQL raw_occurrence_record) |
| lib/table.run | ||
|---|---|---|
| 1 |
#!/bin/bash |
|
| 2 |
set -o errexit |
|
| 1 |
#!/bin/bash -e |
|
| 3 | 2 |
|
| 4 | 3 |
if false; then #### run script template: |
| 5 |
#!/bin/bash |
|
| 6 |
set -o errexit |
|
| 4 |
#!/bin/bash -e |
|
| 7 | 5 |
. "$(dirname "${BASH_SOURCE[0]}")"/path/to/table.run
|
| 8 | 6 |
|
| 9 | 7 |
import () |
| lib/util.run | ||
|---|---|---|
| 1 |
#!/bin/bash |
|
| 2 |
set -o errexit; shopt -s expand_aliases
|
|
| 1 |
#!/bin/bash -e
|
|
| 2 |
shopt -s expand_aliases |
|
| 3 | 3 |
# run scripts: a bash-based replacement for make |
| 4 | 4 |
# unlike make, supports full bash functionality including multiline commands |
| 5 | 5 |
# usage: path/to/dir/run cmd args |
| 6 | 6 |
|
| 7 | 7 |
if false; then #### run script template: |
| 8 |
#!/bin/bash |
|
| 9 |
set -o errexit |
|
| 8 |
#!/bin/bash -e |
|
| 10 | 9 |
. "$(dirname "${BASH_SOURCE[0]}")"/path/to/util.run or file_including_util.run
|
| 11 | 10 |
. "$(dirname "${BASH_SOURCE[0]}")"/other_includes
|
| 12 | 11 |
|
Also available in: Unified diff
*run: Use -e option to bash on the #! line instead of separate `set -o errexit` line so that there is no issue with the `set -o errexit` line getting separated from the #! line (errexit is required for the scripts to work properly)