diff options
author | P. J. McDermott <pj@pehjota.net> | 2015-12-07 12:07:15 (EST) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2015-12-07 12:07:15 (EST) |
commit | 34a77f7822126263fed5c72aedaa65b58fee94ac (patch) | |
tree | a3404e611672f64126298e2f0f6d3398b014851e /lib/dir.sh | |
parent | 84f3cccfb57fc8270b2ae14f0adf2c2ff24cc69b (diff) | |
parent | 41f638c961d5c7832e2b18a9f2e45a09b54dc53e (diff) |
Merge branch 'feature/use-shld'
Diffstat (limited to 'lib/dir.sh')
-rw-r--r-- | lib/dir.sh | 59 |
1 files changed, 0 insertions, 59 deletions
diff --git a/lib/dir.sh b/lib/dir.sh deleted file mode 100644 index c49469d..0000000 --- a/lib/dir.sh +++ /dev/null @@ -1,59 +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 -# <http://www.gnu.org/licenses/>. - -[ "x${_DIR_SM+set}" = 'xset' ] && return 0 -_DIR_SM=1 - -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} -} |