aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLoïc Hoguin <[email protected]>2017-11-12 17:49:00 +0000
committerGitHub <[email protected]>2017-11-12 17:49:00 +0000
commit5858603f34506da8f075791fcee7d0ff7cc02768 (patch)
treefdd6895b6cb6a9ccd37c59039256c71d0e5dec76
parent05955483cf2296b52f410e94b6c8d9af7cf7da32 (diff)
downloadkerl-5858603f34506da8f075791fcee7d0ff7cc02768.tar.gz
kerl-5858603f34506da8f075791fcee7d0ff7cc02768.tar.bz2
kerl-5858603f34506da8f075791fcee7d0ff7cc02768.zip
Fix deleting installation by name
`kerl delete installation` allows deleting by name or path. Problem is, if you provide the name it tries to check for a file `"$name"/activate` instead of using the path, and fails.
-rwxr-xr-xkerl2
1 files changed, 1 insertions, 1 deletions
diff --git a/kerl b/kerl
index 9b7bf40..6c6cc89 100755
--- a/kerl
+++ b/kerl
@@ -301,7 +301,7 @@ is_valid_installation()
name=$(echo "$l" | cut -d " " -f 1)
path=$(echo "$l" | cut -d " " -f 2)
if [ "$name" = "$1" -o "$path" = "$1" ]; then
- if [ -f "$1"/activate ]; then
+ if [ -f "$path"/activate ]; then
return 0
fi
fi