diff options
author | Benjamin Barenblat <bbaren@debian.org> | 2020-10-15 22:09:17 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@debian.org> | 2020-10-15 22:09:17 -0400 |
commit | 9d6c51fe4a28848e7ad15afe4a67f8a90972e1d6 (patch) | |
tree | ca5049dda6ef6403b3a65639d778b851f8c712cd /share/rcm.sh.in | |
parent | acec007c0b568de0f62893c03e6a0b46236c46a6 (diff) | |
parent | b9123ffae961bdb1a0e9c9a64c57ebd3d15c4ebf (diff) |
Merge 1.3.4
Diffstat (limited to 'share/rcm.sh.in')
-rw-r--r-- | share/rcm.sh.in | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/share/rcm.sh.in b/share/rcm.sh.in index a2b4492..5d0a373 100644 --- a/share/rcm.sh.in +++ b/share/rcm.sh.in @@ -58,6 +58,10 @@ is_relative() { echo "$1" | grep -v '^/' >/dev/null } +is_nested() { + echo "$1" | sed "s|$DEST_DIR/||" | grep '/' >/dev/null +} + version() { cat << EOV $1 (rcm) $VERSION @@ -167,6 +171,14 @@ decode() { echo "$file" | tr "$DELIMITER" " " } +append_variable() { + if [ -z "$1" ]; then + echo "$2" + else + echo "$1 $2" + fi +} + : ${RCRC:=$HOME/.rcrc} if [ -r "$RCRC" ]; then |