From 778eac65d35163a2c25b2c3fbacffd7ee724e58d Mon Sep 17 00:00:00 2001 From: P. J. McDermott Date: Sun, 06 Dec 2015 23:58:44 -0500 Subject: Move lib/*.sh to src/ --- (limited to 'lib/dir.sh') diff --git a/lib/dir.sh b/lib/dir.sh deleted file mode 100644 index 338d8fe..0000000 --- a/lib/dir.sh +++ /dev/null @@ -1,56 +0,0 @@ -# Miscellaneous directory-related functions -# -# Copyright (C) 2013 Patrick "P. J." McDermott -# -# This file is part of the ProteanOS Development Kit. -# -# The ProteanOS Development Kit is free software: you can redistribute -# it and/or modify it under the terms of the GNU General Public License -# as published by the Free Software Foundation, either version 3 of the -# License, or (at your option) any later version. -# -# The ProteanOS Development Kit is distributed in the hope that it -# will be useful, but WITHOUT ANY WARRANTY; without even the implied -# warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. -# See the GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with the ProteanOS Development Kit. If not, see -# . - -dir_is_empty() -{ - local dir="${1}" - local ret= - local dirent= - local exclude= - local exclusion= - shift 1 - - ret=0 - - # Patterns to match all dirents except "." and "..": - # * dirents whose names don't start with "." - # .[!.] dirents whose names start with ".", are two characters long, - # and aren't ".." - # .??* dirents whose names start with "." and are three or more - # characters long - for dirent in "${dir}/"* "${dir}/".[!.] "${dir}/".[!.] "${dir}/".??*; do - if ! [ -e "${dirent}" ]; then - continue - fi - exclude=false - for exclusion in "${@}"; do - if [ "x${dirent##*/}" = "x${exclusion}" ]; then - exclude=true - break - fi - done - if ! ${exclude}; then - ret=1 - break - fi - done - - return ${ret} -} -- cgit v0.9.1