Fill out function clean_working_dir

This commit is contained in:
Roan Horning 2023-02-27 23:30:24 -05:00
parent b544687f0f
commit ee6a4e601d
Signed by untrusted user: rho_n
GPG Key ID: 234AEF20B72D5769

View File

@ -60,10 +60,18 @@ function make_working_dir {
#--- FUNCTION ---------------------------------------------------------------- #--- FUNCTION ----------------------------------------------------------------
# NAME: clean_working_dir # NAME: clean_working_dir
# DESCRIPTION: Remove local temporary working directory # DESCRIPTION: Remove local temporary working directory
# PARAMETERS: # PARAMETERS: WORK_DIR -- Temporay directory to be delted
# RETURNS: # RETURNS:
#------------------------------------------------------------------------------- #-------------------------------------------------------------------------------
function clean_working_dir { echo; } function clean_working_dir {
if [[ -d $1 ]] && expr $1 : '.*/tmp.*' ; then
rm -rf $1
echo "Deleted temp working directory $1"
else
echo "Not a temporary directory: $1"
fi
}
#--- FUNCTION ---------------------------------------------------------------- #--- FUNCTION ----------------------------------------------------------------
# NAME: download_hpr_sql # NAME: download_hpr_sql