From 0dd3a4a07ba7e93c916f1486ce0aded2e2e74985 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sat, 29 Jul 2017 16:12:14 +0200
Subject: [PATCH] Fixing wget
---
script/solve_wget | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/script/solve_wget b/script/solve_wget
index 12ed4814..83bffa82 100755
--- a/script/solve_wget
+++ b/script/solve_wget
@@ -14,8 +14,9 @@ if [ x"$1" = x"osx" ]; then
commands[0]="$pcman install wget"
possible_solutions "${commands[@]}"
elif [ x"$1" = x"linux" ]; then
- commands[0]="su -c \"$pcman install wget\""
- commands[1]="sudo $pcman install wget"
+ pc_install_command $pcman
+ commands[0]="su -c \"$pc_install_command_ret wget\""
+ commands[1]="sudo $pc_install_command_ret wget"
possible_solutions "${commands[@]}"
fi
}
--
GitLab