2017-05-05 05:37:26 +02:00
|
|
|
#!/usr/bin/with-contenv bash
|
2017-12-12 01:01:45 +01:00
|
|
|
set -e
|
2017-05-05 05:37:26 +02:00
|
|
|
|
2018-01-04 04:37:19 +01:00
|
|
|
bashCmd='bash -e'
|
2017-12-11 17:28:05 +01:00
|
|
|
if [ "${PH_VERBOSE:-0}" -gt 0 ] ; then
|
|
|
|
set -x ;
|
2018-01-04 05:34:31 +01:00
|
|
|
bashCmd='bash -e -x'
|
2017-12-11 17:28:05 +01:00
|
|
|
fi
|
2017-05-05 05:37:26 +02:00
|
|
|
|
2017-12-11 17:28:05 +01:00
|
|
|
$bashCmd /start.sh
|