pulp-runtime/configs/pulpissimo.sh

#!/bin/bash -e

export PULPRT_TARGET=pulpissimo
export PULPRUN_TARGET=pulpissimo

if [  -n "${ZSH_VERSION:-}" ]; then 
        DIR="$(readlink -f -- "${(%):-%x}")"
        scriptDir="$(dirname $DIR)"
else

    scriptDir="$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"

fi

source $scriptDir/common.sh
Initial commit 2019-12-15 13:12:22 +00:00			`#!/bin/bash -e`

			`export PULPRT_TARGET=pulpissimo`
			`export PULPRUN_TARGET=pulpissimo`

Fix to get source files working with zsh 2020-03-05 13:18:42 +00:00			`if [ -n "${ZSH_VERSION:-}" ]; then`
			`DIR="$(readlink -f -- "${(%):-%x}")"`
			`scriptDir="$(dirname $DIR)"`
			`else`

			`scriptDir="$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"`

			`fi`
Initial commit 2019-12-15 13:12:22 +00:00
Added runner 2019-12-17 21:14:17 +00:00			`source $scriptDir/common.sh`