summaryrefslogtreecommitdiffstats
path: root/src/dir.sh
diff options
context:
space:
mode:
authorP. J. McDermott <pj@pehjota.net>2017-07-22 18:06:12 (EDT)
committer P. J. McDermott <pj@pehjota.net>2017-07-22 18:06:12 (EDT)
commit9217f3869f76d6936e77cec0a1a4d5efd1e97727 (patch)
tree97255d75e43cebc41e7b779b109496e35b9c192e /src/dir.sh
parente0cc4b1883c98145d05a141e06a0392a3181e6e5 (diff)
parent98725484ac7bb96cd2ac6481c8460ceaa06dc4be (diff)
Merge branch 'feature/use-autoconf-automake-shpp-and-shld'
Diffstat (limited to 'src/dir.sh')
-rw-r--r--src/dir.sh71
1 files changed, 71 insertions, 0 deletions
diff --git a/src/dir.sh b/src/dir.sh
new file mode 100644
index 0000000..b72d786
--- /dev/null
+++ b/src/dir.sh
@@ -0,0 +1,71 @@
+# pro-archman
+# lib/dir.sh
+# Miscellaneous directory-related functions
+#
+# Copyright (C) 2013 Patrick "P. J." McDermott
+#
+# This program 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.
+#
+# This program 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 this program. If not, see <http://www.gnu.org/licenses/>.
+
+hash_name()
+{
+ local name="${1}"
+ local hash=
+
+ if [ "x${name}" != "x${name#lib?}" ]; then
+ hash="$(printf '%s\n' "${name}" | sed 's/^\(lib.\).*$/\1/')"
+ elif [ "x${name}" != "x${name#src-?}" ]; then
+ hash="$(printf '%s\n' "${name}" | sed 's/^\(src-.\).*$/\1/')"
+ else
+ hash="$(printf '%s\n' "${name}" | sed 's/^\(.\).*$/\1/')"
+ fi
+ printf '%s\n' "${hash}"
+
+ return 0
+}
+
+dir_is_empty()
+{
+ local dir="${1}"
+ local ret=
+ local dirent=
+
+ 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
+ ret=1
+ break
+ fi
+ done
+
+ return ${ret}
+}
+
+try_rmdir()
+{
+ local dir="${1}"
+
+ if dir_is_empty "${dir}"; then
+ rmdir "${dir}"
+ return ${?}
+ else
+ return 1
+ fi
+}