#!/usr/bin/env bash if [[ $(basename "$BASH_SOURCE") = .bash_leave ]]; then DOCKER_DEVBOX_DIR=$(dirname "$BASH_SOURCE") else DOCKER_DEVBOX_DIR=$PWD fi export DOCKER_DEVBOX_DIR=$DOCKER_DEVBOX_DIR if [ -d "$DOCKER_DEVBOX_DIR"/.bash_leave.d ]; then for leave_script in "$DOCKER_DEVBOX_DIR"/.bash_leave.d/*; do source $leave_script done fi